Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
The Theology of Arithmetic: On the Mystical, Mathematical and ...
Iamblichus
The Golden Chain: An Anthology of Pythagorean and Platonic Philosophy
Algis Uzdavinys
Game Engine Black Book Doom (v1.1)
Fabien Sanglard
De Umbris Idearum: On the Shadows of Ideas (Collected Works ...
Giordano Bruno
