Title: Excursions into mathematics
Subjects: Mathematics, Logic, symbolic and mathematical