Title: An introduction to foundational logic
Subjects: Logic