Trading and Exchanges
Larry Harris
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Ignition: An Informal History of Liquid Rocket Propellants
John D. Clark
The Economy of Cities
Jane Jacobs
Z-80 Microprocessor: Architecture, Interfacing, Programming ...
Ramesh Gaonkar