Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel

by Andrzej Mostowski · 1 review · 1954

Reviewed by	Journal	Date	Access
G. Hasenjaeger	The Journal of Symbolic Logic	1954	Restricted

Metaphysics & Logic

Also by Mostowski

Concerning the problem of axiomatizability of the field of real numbers in the weak second order logic (1 review)
Constructible sets with applications (1 review)
Development and applications of the “projective” classification of sets of integers (1 review)
Logika matematyczna (Mathematical Logic) (1 review)
Quelques observations sur I'usage des méthodes non finitistes dans la méta-mathématiques (1 review)
Set theory. English translation of XL 649(4) by M. Maczynski (1 review)
Sur l'interprétation géométrique et topologique des notions logiques (1 review)
Tarski, Alfred (1 review)

Search PhilReviews for this title