Intuitionistic Type Theory
Per Martin-Lof
Austerity: The History of a Dangerous Idea
Mark Blyth
How to Solve It: A New Aspect of Mathematical Method
George Polya
The Unfettered Mind: Writings from a Zen Master to a Master ...
Takuan Soho
Ignition: An Informal History of Liquid Rocket Propellants
John D. Clark