Undecidable theories - Tarski, Alfred; Mostowski, Andrzej; Robinson, Raphael M. (Raphael Mitchel), 1911- (Mineola, N.Y. : Dover, 2010)
Originally published: Amsterdam : North-Holland Pub., 1953.
Includes bibliographical references and index.
Keywords: Metamathematics