Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Syrianus: On Aristotle Metaphysics 13-14
Syrianus, ,O'Meara, Dominic J,Dillon, John
Language Implementation Patterns
Terence Parr
Mathematical Concepts
Jürgen Jost
The Intelligent Investor
Benjamin Graham