Title: Introduction to the foundations of mathematics
Subjects: Mathematics, Methodology, Symbolic and mathematical Logic