Book of Proof
Richard Hammack
Practical Foundations for Programming Languages
Robert Harper
Geometry and Monadology: Leibniz's Analysis Situs and Philosophy ...
Vincenzo de Risi
Secret of the Golden Flower
Cleary, Thomas (tr)
Periphyseon: Division of Nature
Johannes Scotus Erigena