Libros de intuitionistic mathematics
5 libros en este género
Extensional Gödel functional interpretation
Horst Luckhardt
Sin valoración
A short introduction to intuitionistic logic
Grigori Mints
Sin valoración
Proof Methods For Modal And Intuitionistic Logics
Melvin Fitting
Sin valoración
Choice sequences
A. S. Troelstra
Sin valoración
Intensional mathematics
Stewart Shapiro
Sin valoración