Hekate Soteira A Study of Hekate's Roles in the Chaldean -- ...
Unknown
Taking People With You: The Only Way to Make Big Things Happen ...
David Novak
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
On the Genealogy of Morals
Frederich Nietzsche