Title: Logic in Arithmetic
Subjects: Logic, symbolic and mathematical