Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
The Three Languages of Politics: Talking Across the Political ...
Kling, Arnold
Modern Processor Design: Fundamentals of Superscalar Processors
John Paul Shen, Mikko H. Lipasti
Electricity and Magnetism: An Introduction to the Theory of ...
Oleg D. Jefimenko
Designing the Mind: The Principles of Psychitecture
Designing The Mind & Ryan A Bush