Undecidable theories /

Saved in:

Bibliographic Details
Main Authors:	Tarski, Alfred, 1901-1983 (Author), Mostowski, Andrzej (Author), Robinson, Raphael M. (Raphael Mitchel), 1911- (Author)
Format:	Book
Language:	English
Published:	Amsterdam : North-Holland Pub. Co., 1953.
Series:	Studies in logic and the foundations of mathematics
Subjects:	Metamathematics. Decidability (Mathematical logic) Décidabilité (logique mathématique) Métamathématique.

University of St. Thomas

Holdings details from University of St. Thomas
Call Number:	QA9 .T33 1953

Holdings details from University of Minnesota
Call Number:	QA9 .T33