The Model Thinker
Scott E. Page
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Clojure for the Brave and True: Learn the Ultimate Language ...
Daniel Higginbotham
La geometria
René Descartes
The Ancient Egyptian Book of Thoth: A Demotic Discourse on Knowledge ...
Richard Jasnow & Karl-Theodor Zauzich
Conversations in the House of Life: A New Translation of the ...