Tarski, Alfred.
Undecidable theories / Alfred Tarski ; in collaboration with Andrzej Mostowski and Raphael M. Robinson. - Dover ed. - Mineola, N.Y. : Dover, 2010. - ix, 98 p. : ill. ; 22 cm. - Dover books on mathematics .
Originally published: Amsterdam : North-Holland Pub., 1953.
Includes bibliographical references and index.
9780486477039 (pbk.)
2010019851
Metamathematics.
QA9 / .T33 2010
510.1 / TAU
Undecidable theories / Alfred Tarski ; in collaboration with Andrzej Mostowski and Raphael M. Robinson. - Dover ed. - Mineola, N.Y. : Dover, 2010. - ix, 98 p. : ill. ; 22 cm. - Dover books on mathematics .
Originally published: Amsterdam : North-Holland Pub., 1953.
Includes bibliographical references and index.
9780486477039 (pbk.)
2010019851
Metamathematics.
QA9 / .T33 2010
510.1 / TAU