Undecidable theories/
Tarski, Alfred, 1901-1983.
Undecidable theories/ In collaboration with Andrzej Mostowski and Raphael M. Robinson. - [2d printing] - Amsterdam: North-Holland, 1968. - xi, 101 p.: 23 cm. - Studies in logic and the foundations of mathematics .
Bibliography: p. 89-91.
68132612
Ne68-28
Godel's theorem.
511.3 / T193u
Undecidable theories/ In collaboration with Andrzej Mostowski and Raphael M. Robinson. - [2d printing] - Amsterdam: North-Holland, 1968. - xi, 101 p.: 23 cm. - Studies in logic and the foundations of mathematics .
Bibliography: p. 89-91.
68132612
Ne68-28
Godel's theorem.
511.3 / T193u