名古屋大学附属図書館




1

Undecidable theories

by Alfred Tarski ; in collaboration with Andrzej Mostowski and Raphael M. Robinson. -- 3rd printing. -- North-Holland, 1971, c1953. -- (Studies in logic and the foundations of mathematics).