The Structure Of Scientific Revolutions
Thomas Kuhn
Orpheus and the Roots of Platonism
Algis Uždavinys
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Electricity and matter
Thomson, J. J. (Joseph John), Sir, 1856-1940
New Foundations for Classical Mechanics
D. Hestenes