The Unfettered Mind: Writings from a Zen Master to a Master ...
Takuan Soho
Intuitionistic Type Theory
Per Martin-Lof
The Emperor's New Mind: Concerning Computers, Minds, and the ...
Penrose, Roger
Latin, an Intensive Course
Floyd L. Moreland & Rita M. Fleischer
Theory and Calculations of Electrical Circuits
Charles Proteus Steinmetz