Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Principia Mathematica Vol 2
Alfred North Whitehead & Bertrand Russel
The analects of Confucius
Confucius
Syrianus: On Aristotle Metaphysics 3-4
Syrianus, ,O'Meara, Dominic J,Dillon, John
The Model Thinker
Scott E. Page
The Design of Everyday Things: Revised and Expanded Edition
Norman, Don