Title: Classical theory of first order logic
First published: 1970
Subjects: Logic, Symbolic and mathematical, Symbolic and mathematical Logic
LC classification: BC135 .P27