Title: Notre Dame Lectures
Subjects: Logic, symbolic and mathematical