Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Principia Mathematica Vol 2
Alfred North Whitehead & Bertrand Russel
The Problem of Disenchantment: Scientific Naturalism and Esoteric ...
Egil Asprem
Grounding and Shielding: Circuits and Interference
Ralph Morrison
Great Transformations: Economic Ideas and Institutional Change ...
Mark Blyth
The Power to Compete
Hiroshi Mikitani & Ryoichi Mikitani