Title: Intensional Mathematics
Subjects: Logic, symbolic and mathematical