Introduction to logic and to the methodology of deductive sciencesby Alfred TarskiMathematicsPhilosophyArithmeticFoundationsWriting a summary for young readers…For young readersBook data: Open Library