Intuitionistic Type Theory
Per Martin-Lof
Damascius' Problems and Solutions Concerning First Principles
Damaskios
Structure and Interpretation of Classical Mechanics: Second ...
Gerald Jay Sussman & Jack Wisdom
The Parallax View (Short Circuits)
Slavoj Zizek
Z-80 Microprocessor: Architecture, Interfacing, Programming ...
Ramesh Gaonkar
