Extensional Godel Functional Interpretation: A Consistency Proof of Classical Analysis
Автор
Horst Luckhardt
Год
1973
Страниц
166
ISBN
ISBN10:0387061193
Издатель
Springer
Описание: