Title: Foundations of logic and mathematics
Subjects: Mathematics, Philosophy, Symbolic and mathematical Logic