Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Archimedes Netz, Reviel (ed.)
The works of Archimedes. Vol. 2 On spirals-Cambridge University ...
Orpheus and the Roots of Platonism
Algis Uždavinys
Compilers Principles, Techniques, and Tools 2/E
Aho Lam Sethi Ullman
The Count of Monte Cristo (Unabridged Penguin)
Alexandre Dumas
