Title: Two Applications of Logic to Mathematics
Subjects: Logic, symbolic and mathematical