Libri di intuitionistic mathematics
6 libri in questo genere
Extensional Gödel functional interpretation
Horst Luckhardt
Nessuna valutazione
Extensional Gödel functional interpretation
Nessuna valutazione
A short introduction to intuitionistic logic
Grigori Mints
Nessuna valutazione
Proof Methods For Modal And Intuitionistic Logics
Melvin Fitting
Nessuna valutazione
Choice sequences
A. S. Troelstra
Nessuna valutazione
Intensional mathematics
Stewart Shapiro
Nessuna valutazione