Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Re-Counting Plato: A Computer Analysis of Plato's Style
Gerard R. Ledger
Art of Memory: Selected Works
Frances Amelia Yates
Heat Kernels and Dirac Operators
Ezra Getzler
Revolt Against the Modern World: Politics, Religion, and Social ...
Julius Evola
