Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
The Candida Cure: The 90-Day Program to Beat Candida & Restore ...
Boroch, Ann
Density-Functional Theories of Atoms and Molecules - R. Parr, ...
John
The Bullet Journal Method: Track Your Past, Order Your Present, ...
Carroll, Ryder
Beyond Good and Evil: Prelude to a Philosophy of the Future
Friedrich Wilhelm Nietzsche
