Extensional Godel functional intepretation: A consistency of proof of classical analysis

Bibliografische gegevens
Hoofdauteur: Luckhardt, Horst
Formaat: Printed Book
Taal:English
Gepubliceerd in: Berlin Springer-Verlag 1973
Onderwerpen:
classical analysis > godel function > Theory of functions

UL

Exemplaargegevens van UL
Plaatsingsnummer: 517.5 LUC
Kopie Status is onbeschikbaar

Gelijkaardige items