Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
BEING AND TIME
Heidegger
Picatrix The Latin Version of Ghàyat Al-Hakìm -- David Pingree ...
Unknown
Linkers and Loaders
John R. Levine
Game Engine Gems 2
Eric Lengyel
