Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
The Chaldean Oracles Text, Translation, and Commentary -- H ...
Unknown
René Descartes: Principles of Philosophy: Translated, With Explanatory ...
René Descartes
Planned Chaos
Ludwig Von Mises
Deuterium Depletion: A New Way in Curing Cancer and Preserving ...
Gábor Somlyai