Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Ethics
Spinoza
What Doesn't Kill Us
Scott Carney
500 A Collection of Sketches by Spencer Nugent
Spencer Nugent
Linkers and Loaders
John R. Levine