A History of Mathematical Notations: Vol. Ii
Florian Cajori
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Friedrich Nietzsche
The Will to Power-Vintage (1968)
Simon Saunders Harvey R Brown
The Philosophy of vacuum-Oxford (2002)
Ignition: An Informal History of Liquid Rocket Propellants
John D. Clark