Title: Logic Colloquium
Subjects: Logic, symbolic and mathematical, Mathematics, Mathematics, general