Yazar hakkında
0 takipçi · 0 beğeni
Bu yazar için henüz biyografi eklenmemiş.
Cilt sonuçları
Extensional Gödel Functional Interpretation: A Consistensy Proof of Classical Analysis (Lecture Notes in Mathematics)
Horst Luckhardt · Springer-Verlag
166 sayfa · 1973
Proof theory / Intuitionistic mathematics / Goedel's theorem / Mathematics / Mathematics, general
Okurlardan
Gönderiler yükleniyor…