- Semantical Analysis of Intuitionistic Logic I.Saul A. Kripke - 1963 - In Michael Dummett & J. N. Crossley (eds.), Formal Systems and Recursive Functions. Amsterdam,: North Holland. pp. 92-130.details
|
|
|
Intuitionism.A. Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..details
|
|
|
Non-Null implication.David Nelson - 1966 - Journal of Symbolic Logic 31 (4):562-572.details
|
|
|
Intuitionism, an Introduction by A. Heyting. [REVIEW]Andrzej Grzegorczyk - 1958 - Studia Logica 7:277-278.details
|
|
|
Intuitionistic Logic Model Theory and Forcing.F. R. Drake - 1971 - Journal of Symbolic Logic 36 (1):166-167.details
|
|
|
Semantical Analysis of Intuitionistic Logic I.Saul A. Kripke, J. N. Crossley & M. A. E. Dummett - 1970 - Journal of Symbolic Logic 35 (2):330-332.details
|
|
|
Intuitionism: An Introduction.Arend Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..details
|
|
|
Intuitionistic logic, model theory and forcing.Melvin Fitting - 1969 - Amsterdam,: North-Holland Pub. Co..details
|
|
|
Review: A. Mostowski, Sur L'Interpretation Geometrique et Topologique des Notions Logiques. [REVIEW]David Nelson - 1949 - Journal of Symbolic Logic 14 (3):184-184.details
|
|
|
Constructible falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.details
|
|
|
First-order logic.Raymond Merrill Smullyan - 1968 - New York [etc.]: Springer Verlag.details
|
|
|
First-order Logic.William Craig - 1975 - Journal of Symbolic Logic 40 (2):237-238.details
|
|
|
Constructions and negationless logic.E. G. K. López-Escobar - 1972 - Studia Logica 30 (1):7 - 22.details
|
|
|
de Iongh J. J.. Restricted forms of intuitionistic mathematics. Actes du Xme Congrès International de Philosophie —Proceedings of the Tenth International Congress of Philosophy , North-Holland Publishing Company, Amsterdam 1949, pp. 744–748. [REVIEW]David Nelson - 1949 - Journal of Symbolic Logic 14 (3):183-184.details
|
|
|
Analysis of Cantor-Bendixson Theorem by Means of the Analytic Hierarchy.G. Kreisel - 1970 - Journal of Symbolic Logic 35 (2):334-334.details
|
|
