The Emperor's New Mind: Concerning Computers, Minds, and the ...
Penrose, Roger
Intuitionistic Type Theory
Per Martin-Lof
Gravitation and Cogravitation: Developing Newton's Theory of ...
Oleg D. Jefimenko
Art of Computer Programming, Volume 2: Seminumerical Algorithms, ...
Donald E. Knuth
Mencius
Mencius & D. C. Lau
