1
by Barnes, D.W., Mack, J.M.
Published 1975
Springer New York
Table of Contents: ... -- IV Predicate Calculus -- V First-Order Mathematics -- VI Zermelo-Fraenkel Set Theory -- VII...