PLP An introduction to mathematical proof
Seckin Demibras, Andrew Rechnitzer
Language Implementation Patterns
Terence Parr
LOGIC, EPISTEMOLOGY, AND THE UNITY OF SCIENCE VOLUME 3
Johan van Benthem, Gerhard Heinzmann, Manuel Rebuschi, Henk ...
Complete Works of Aristotle, Volume 1
Aristotle, Barnes, J.
Projective Geometric Algebra
Eric Lengyel