Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Maps of Meaning: The Architecture of Belief
Jordan B. Peterson
The Complete Essays
Michel de Montaigne
Beginning x64 Assembly Programming
Jo Van Hoey
Damascius' Problems and Solutions Concerning First Principles
Damaskios
On Descartes' Metaphysical Prism: The Constitution and the Limits ...
Jean-Luc Marion
The Theology of Arithmetic: On the Mystical, Mathematical and ...
Iamblichus