Notes on the formalization of logic /
Scott, Dana S.
Bostock, David.
University of Oxford.Sub-faculty of Philosophy
Oxford, U.K. : [University of Oxford], Sub-faculty of Philosophy,
1981.
pts. I & II -- pts. III & IV.
Includes bibliographies.
Logic, Symbolic and mathematical