Structure and Interpretation of Classical Mechanics: Second ...
Gerald Jay Sussman & Jack Wisdom
PLP An introduction to mathematical proof
Seckin Demibras, Andrew Rechnitzer
The Making of Late Antiquity
Peter Brown
Types and Programming Languages
Benjamin C. Pierce & Benjamin C. (professor Pierce, University Of Pennsylvania)
Linear Algebra Done Right
Sheldon Axler
Hypercomplex Numbers: An Elementary Introduction to Algebras
I. L. Kantor & A. S. Solodovnikov