On the concepts of completeness and interpretation of formal systems. Fundamenta mathematicae, vol. 39 (for 1952, pub. 1953)

Name: On the concepts of completeness and interpretation of formal systems. Fundamenta mathematicae, vol. 39 (for 1952, pub. 1953)
Author: G. Kreisel

by G. Kreisel · 1 review · 1959

Reviewed by	Journal	Date	Access
William Craig	The Journal of Symbolic Logic	1959	Restricted

Metaphysics & Logic

Also by Kreisel

Elements of Mathematical Logic: Model Theory (1 review)
Foundations of intuitionistic logic (1 review)
Gödel's intepretation of Heyting's arithmetic (1 review)
Maimonides' Political Thought (1 review)
Mathematical logic. Lectures on modern mathematics, vol (1 review)
Ordinal logics and the characterization of informal concepts of proof (1 review)
Sums of squares (1 review)

Search PhilReviews for this title