Einführung in die mathematische logik und in die methodologie der mathematikby Tarski, Alfred.MathematicsPhilosophyArithmeticFoundationsWriting a summary for young readers…For young readersBook data: Open Library