Ride the Tiger
Julius Evola
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
New Foundations for Classical Mechanics
D. Hestenes
Simon Saunders Harvey R Brown
The Philosophy of vacuum-Oxford (2002)
Linkers and Loaders
John R. Levine
