Foundations of Mechanical Accuracy
Wayne R. Moore
Intuitionistic Type Theory
Per Martin-Lof
Critique Of Pure Reason
Immanuel Kant
The Divine Proportion
H. E. Huntley
Modern C
Jens Gustedt