Intuitionistic Type Theory
Per Martin-Lof
On Perceived Motion and Figural Organization
Max Wertheimer
Life 3.0
Max Tegmark
The Emperor's New Mind: Concerning Computers, Minds, and the ...
Penrose, Roger
Z-80 Microprocessor: Architecture, Interfacing, Programming ...
Ramesh Gaonkar