Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Iamblichus and the Theory of the Vehicle of the Soul
John F. Finamore
Structure and Interpretation of Classical Mechanics: Second ...
Gerald Jay Sussman & Jack Wisdom
Linear Algebra Through Geometry
Thomas Banchoff, John Wermer
No bullshit guide to linear algebra
Ivan Savov