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

מידע ביבליוגרפי
מחבר ראשי: Luckhardt, Horst
פורמט: Printed Book
שפה:English
יצא לאור: Berlin Springer-Verlag 1973
נושאים:
classical analysis > godel function > Theory of functions

UL

פרטי מלאי ספרים מ UL
סימן המיקום: 517.5 LUC
עותק סטטוס עדכני לא זמין

פריטים דומים