Intuitionistic Type Theory
Per Martin-Lof
Newton's Principia : the mathematical principles of natural ...
Newton, Isaac, Sir, 1642-1727
A Discourse on Method: Rightly Conducting the Reason, and Seeking ...
Rene. Descartes
Iamblichus and the Theory of the Vehicle of the Soul
John F. Finamore
Rework
Jason Fried & David Heinemeier Hansson