Title: Logic in mathematics: an elementary approach
Subjects: Symbolic and mathematical Logic