ISBN 9780486477039 books & textbook
Undecidable Theories: Studies in Logic and the Foundation of Mathematics (Dover Books on Mathematics)
Tarski, Alfred Mostowski, Andrzej Robinson, Raphael M.
Dover Publications /2010-08-19 Paperback / 112 Pages
isbn-10: 0486477037 / isbn-13: 9780486477039
