Clojure for the Brave and True: Learn the Ultimate Language ...
Daniel Higginbotham
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Secret of the Golden Flower
Cleary, Thomas (tr)
Nicholas of Cusa's on Learned Ignorance: A Commentary on De ...
Karsten Harries
Ignition: An Informal History of Liquid Rocket Propellants
John D. Clark
