Intuitionistic Type Theory
Per Martin-Lof
The Three Languages of Politics: Talking Across the Political ...
Kling, Arnold
Game Programming Gems
Mark A. Deloura
The Courage to Be Disliked: The Japanese Phenomenon That Shows ...
Ichiro Kishimi & Fumitake Koga
New Foundations for Classical Mechanics
D. Hestenes