Four lectures on relativity and space
Steinmetz, Charles Proteus, 1865-1923
Intuitionistic Type Theory
Per Martin-Lof
Modern C
Jens Gustedt
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
How to Draw: Drawing and Sketching Objects and Environments ...
Scott Robertson & Thomas Bertling