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

Podrobná bibliografie
Hlavní autor: Luckhardt, Horst
Médium: Printed Book
Jazyk:English
Vydáno: Berlin Springer-Verlag 1973
Témata:
classical analysis > godel function > Theory of functions
Popis
Popis jednotky:
Fyzický popis:vi,161p.

Podobné jednotky