Intuitionistic Type Theory
Per Martin-Lof
Every Landlord's Legal Guide-Nolo (2006)
Marcia Stewart, Janet Portman, Ralph E. Warner
Art of Computer Programming, Volume 2: Seminumerical Algorithms, ...
Donald E. Knuth
A DSP Primer: With Applications to Digital Audio and Computer ...
Kenneth Steiglitz
The History of the Peloponnesian War
Thucydides