intuitionistic mathematics Kitapları
Bu türde 5 kitap
Extensional Gödel functional interpretation
Horst Luckhardt
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