Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
A History of Mathematical Notations: Vol. I
Florian Cajori
Designing Games: A Guide to Engineering Experiences
Tynan Sylvester
Density-Functional Theories of Atoms and Molecules - R. Parr, ...
John
Linkers and Loaders
John R. Levine