Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Gravitation and Cogravitation: Developing Newton's Theory of ...
Oleg D. Jefimenko
The Toxin Solution
Joseph Pizzorno
Math You Can't Use : Patents, Copyright, and Software
Ben Klemens
The Structure Of Scientific Revolutions
Thomas Kuhn