Undecidable theories
By: by Alfred Tarski, in collaboration with Andrzej Mostowski and Raphael M. Robinson.
Series: Studies in logic and the foundations of mathematics
Publisher: North-Holland Pub. Co.
Published: 1953
Place of publication: Amsterdam
Language: eng
Number of pages: 98
Subjects: Metamathematics.
Notes: Bibliography: p. 89-91.