Fluid Simulation for Computer Graphics, Second Edition
Robert Bridson
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Principia Mathematica Vol 2
Alfred North Whitehead & Bertrand Russel
Michael Abrash’s Graphics Programming Black Book
Michael Abrash
Linkers and Loaders
John R. Levine