Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Logical Geometry
Unknown
The Complete Essays
Michel de Montaigne
Operating System Design: The Xinu Approach, Second Edition
Douglas Comer
A Discourse on Method: Rightly Conducting the Reason, and Seeking ...
Rene. Descartes