Saul A. Kripke. Semantical analysis of intuitionistic logic I. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium

Name: Saul A. Kripke. Semantical analysis of intuitionistic logic I. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium
Author: J. N. Crossley and M. A. E. Dummett, Series in logic and the foundations of mathematics

by J. N. Crossley and M. A. E. Dummett, Series in logic and the foundations of mathematics · 1 review · 1970

Reviewed by	Journal	Date	Access
G. Kreisel	The Journal of Symbolic Logic	1970	Restricted

Metaphysics & Logic

Also by mathematics

Saul A. Kripke. Semantical analysis of modal logic II. Non-normal modal propositional calculi. The theory of models, Proceedings of the 1963 International Symposium at Berkeley (2 reviews)
A. Heyting. Some remarks on intuitionism. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam (1 review)
A. N. Prior. Existence in Leśniewski and in Russell. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium (1 review)
A. Robinson. A basis for the mechanization of the theory of equations. Computer programming and formal systems (1 review)
A. S. Troelstra. The theory of choice sequences. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam (1 review)
A. S. Yessenin-Volpin. The ultra-intuitionistic criticism and the antitraditional program for foundations of mathematics. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y (1 review)
A. Tarski. Equational logic and equational theories of algebras. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover (1 review)
Alan Cobham. The intrinsic computational difficulty of functions. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress (1 review)

Search PhilReviews for this title