Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Principia Mathematica Vol 2
Alfred North Whitehead & Bertrand Russel
Dynamic Bible
Peter Han
The Candida Cure Cookbook
Ann Boroch
Too Much to Know: Managing Scholarly Information Before the ...
Ann Blair