Title: Introductory formal logic of mathematics
Subjects: Metamathematics, Symbolic and mathematical Logic