Title: Mathematical logic
First published: 1984
Subjects: Logic, symbolic and mathematical, Logic,Symbolic and mathematical
LC classification: QA9