Undecidable theories - Tarski, Alfred; Mostowiski, Andrzej (Amsterdam : North-Holland, 1953)
Keywords: LOGICA