Types and Programming Languages
Benjamin C. Pierce & Benjamin C. (professor Pierce, University Of Pennsylvania)
A History of Mathematical Notations: Vol. Ii
Florian Cajori
Platform
Cynthia Johnson
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
No bullshit guide to linear algebra
Ivan Savov