1
Published 1979
Springer Netherlands
Table of Contents: ... -- Proofs and the Meaning and Completeness of the Logical Constants -- Theory of Quantification...