Yazar hakkında
0 followers · 0 likes
No biography has been added for this author yet.
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
From readers
Loading posts…