The Diagonal Method in Formalized Arithmetic

by A. Mostowski · 1 review · 1953

Reviewed by	Journal	Date	Access
G. Kreisel	The British Journal for the Philosophy of Science	1953-02-00	Restricted

Philosophy of Science

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)
Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel (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)

Search PhilReviews for this title