2 books
Aristotle's Syllogistic Underlying Logic. His Model with his Proofs of Soundness and Completeness
Multiplicative Programming