René Descartes: Principles of Philosophy: Translated, With Explanatory ...
René Descartes
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Profit + Purpose
Westaway, Kyle
A theory of natural philosophy
Boscovich, Ruggero Giuseppe, 1711-1787
Nicholas of Cusa on Learned Ignorance: A Translation and an ...
Cardinal Nicholas (of Cusa) & Jasper Hopkins
