Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Writing a Simple Operating System from Scratch
Nick Blundell
René Girard Jean-Michel Oughourlian Guy Lefort
Things hidden since the foundation of the world-Stanford University ...
A Mathematician's Apology
G. H. Hardy
Mencius
Mencius & D. C. Lau