Goal-Directed Proof Theory
Dov M. Gabbay & N. Olivetti
Math for Programmers: 3D Graphics, Machine Learning, and Simulations ...
Paul Orland
A Grammar of Old English, Volume 2: Morphology
Richard M. Hogg & R. D. Fulk
The Doctrine of the Subtle Body in Western Tradition: An Outline ...
G. R. S. Mead
Frege: Philosophy of Language
Michael Dummett
Footnote to Cicero
Dorothy J. Heatts