A Short Note on Spector's Proof of Consistency of Analysis.

Fernando Ferreira

Browse the full CiE paper archive.