Undecidable theories - Tarski Alfred; Mostowski Andrej; Robinson R M (Amsterdam North Holland, 1953)
Keywords: Mathematical logic