Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Navigating Metabolism by Navdeep S. Chandel
Hiroshi Nakai
A History of Mathematical Notations: Vol. I
Florian Cajori
An Architectural Approach to Level Design
Christopher W. Totten
Peopleware: Productive Projects and Teams
Tom DeMarco