intuitionistic mathematics Books
6 books in this genre
Extensional Gödel functional interpretation
Horst Luckhardt
No ratings
Extensional Gödel functional interpretation
No ratings
A short introduction to intuitionistic logic
Grigori Mints
No ratings
Proof Methods For Modal And Intuitionistic Logics
Melvin Fitting
No ratings
Choice sequences
A. S. Troelstra
No ratings
Intensional mathematics
Stewart Shapiro
No ratings