Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Theory and Calculations of Electrical Circuits
Charles Proteus Steinmetz
Data Management on New Hardware
Spyros Blanas, Rajesh Bordawekar, Tirthankar Lahiri, Justin ...
Science Since Babylon
Derek J. deSolla Price
Beyond Good and Evil: Prelude to a Philosophy of the Future
Friedrich Wilhelm Nietzsche