Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Critique Of Pure Reason
Immanuel Kant
The Gulag Archipelago
Aleksandr Solzhenitsyn
Thus spoke Zarathustra
Nietzsche, Friedrich Wilhelm, 1844-1900
Beginning x64 Assembly Programming
Jo Van Hoey