Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Z-80 Microprocessor: Architecture, Interfacing, Programming ...
Ramesh Gaonkar
Syrianus: On Aristotle Metaphysics 3-4
Syrianus, ,O'Meara, Dominic J,Dillon, John
The Dip: A Little Book That Teaches You When to Quit (and When ...
Godin, Seth
Designing the Mind: The Principles of Psychitecture
Ryan A Bush & Designing The Mind
The Courage to Be Disliked: The Japanese Phenomenon That Shows ...
Ichiro Kishimi & Fumitake Koga