Kurt Gödel: The Princeton Lectures on Intuitionism (en Inglés)

Reseña del libro

Gödel's Functional Interpretation in Context.- Part I: Axiomatic Intuitionist Logic.- Part II: The Functional Interpretation.- References.- Name Index.