Añadir a mi colección
Formato
También te puede gustar
Leo Esakia on Duality in Modal and Intuitionistic Logics
Guram Bezhanishvili
2014
Intuitionism
A. Heyting
1956
Proof theory and intuitionistic systems
Bruno Scarpellini
1971
Mathematische Grundlagenforschung
1934
Arend Heyting
Absoluteness of intuitionistic logic
Daniel Maurice Raphaël Leivant
1975
Intuitionism and proof theory
Conference on Intuitionism and Proof Theory (1968 State University of New York at Buffalo)
1970
Constructive Mathematics
F. Richman
1981
