Title: Mathematical Logic and Applications
Subjects: Logic, symbolic and mathematical