An Introduction to the Metatheory of Standard First Order Logic
Geoffrey Hunter
An Introduction to the Metatheory of Standard First Order Logic - Los Angeles University of California Press 1973 - 288 p
0-520-02356-0
Proof of the Consistency of QS
BC 128 .H85/
An Introduction to the Metatheory of Standard First Order Logic - Los Angeles University of California Press 1973 - 288 p
0-520-02356-0
Proof of the Consistency of QS
BC 128 .H85/