Practical Foundations for Programming Languages
Robert Harper
PLP An introduction to mathematical proof
Seckin Demibras, Andrew Rechnitzer
No bullshit guide to linear algebra
Ivan Savov
Pagan and Christian in an Age of Anxiety: Some Aspects of Religious ...
E. R. Dodds
Latin, an Intensive Course
Floyd L. Moreland & Rita M. Fleischer