Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Collision Detection in Interactive 3D Environments
Gino van den Bergen
Euler The Master of Us All
William Dunham
Science and Sanity
Alfred Korzybski
How to Draw: Drawing and Sketching Objects and Environments ...
Scott Robertson & Thomas Bertling