Title: An intermediate logic
Subjects: Logic