Intuitionistic Type Theory
Per Martin-Lof
The Search for Atlantis: A History of Plato's Ideal State
Kershaw, Stephen
Projective Geometric Algebra
Eric Lengyel
Nicholas of Cusa on Learned Ignorance: A Translation and an ...
Cardinal Nicholas (of Cusa) & Jasper Hopkins
A DSP Primer: With Applications to Digital Audio and Computer ...
Kenneth Steiglitz