Crafting Interpreters
Timothy Andrew
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Treatise on conic sections
Apollonius, of Perga
How to Solve It: A New Aspect of Mathematical Method
George Polya
Deuterium Depletion: A New Way in Curing Cancer and Preserving ...
Gábor Somlyai