Undecidable theories

Tarski, Alfred

Undecidable theories by Alfred Tarski; in collaboration with Andrzej Mostowski and Raphael M. Robinson. - Amsterdam;: North-Holland 1968, c 1953 - xi, 98p. 23cm

511.3