Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Giordano Bruno and the Hermetic Tradition
Frances Amelia Yates
The Structure Of Scientific Revolutions
Thomas Kuhn
Essay on Economic Theory, An
Richard Cantillon
Totalitarianism
Hannah Arendt