intuitionistic mathematics Kitapları
Bu türde 6 kitap
Extensional Gödel functional interpretation
Horst Luckhardt
Değerlendirme yok
Extensional Gödel functional interpretation
Değerlendirme yok
A short introduction to intuitionistic logic
Grigori Mints
Değerlendirme yok
Proof Methods For Modal And Intuitionistic Logics
Melvin Fitting
Değerlendirme yok
Choice sequences
A. S. Troelstra
Değerlendirme yok
Intensional mathematics
Stewart Shapiro
Değerlendirme yok