4 books • 3 series
Philosophy of Anthropology and Sociology: A Volume in the Handbook of the Philosophy of Science Series (Handbook of the Philosophy of Science)
The Functional Interpretation of Logical Deduction
Logic from Russell to Church (Handbook of the History of Logic, v. 5)
Interpolation and Definability: Modal and Intuitionistic Logics. Oxford Logic Guides, Volume 46. (Oxford Logic Guides)