Luckhardt, Horst Extensional Godel functional interpretation a consistency proof of classical analysis Horst Luckhardt - Berlin New York Springer-Verlag 1973 - vi, 161 p 26 cm - Lecture notes in mathematics, 306 . - Lecture notes in mathematics (Springer-Verlag) . Contine bibliografie eng ISBN: 0387061193 LCCN: 72-096046 //r85 Subjects--Topical Terms: Proof theoryIntuitionistic mathematics Dewey Class. No.: / 510