Accounting 101
Michele Cagan
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Aristotelis Categoriae: Liber De Interpretatione
Aristotle
Grounding and Shielding: Circuits and Interference
Ralph Morrison
Einstein Manifolds
Arthur L. Besse