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