Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
The Divine Proportion
H. E. Huntley
Generative Energy: Restoring the Wholeness of Life
Raymond Peat
Structure and Interpretation of Classical Mechanics: Second ...
Gerald Jay Sussman & Jack Wisdom
Damascius' Problems and Solutions Concerning First Principles
Damaskios