Title: Foundations of logic and mathematics
Subjects: Symbolic and mathematical Logic