Livres de intuitionistic mathematics
5 livres dans ce genre
Extensional Gödel functional interpretation
Horst Luckhardt
Pas de note
A short introduction to intuitionistic logic
Grigori Mints
Pas de note
Proof Methods For Modal And Intuitionistic Logics
Melvin Fitting
Pas de note
Choice sequences
A. S. Troelstra
Pas de note
Intensional mathematics
Stewart Shapiro
Pas de note