Intuitionistic Type Theory
Per Martin-Lof
Gravitation, Gauge Theories And Differential Geometry
Eguchi, Gikey & Hansen
Pressed for Time The Acceleration of Life in Digital Capitalism
Judy Wajcman
Clean Code: A Handbook of Agile Software Craftsmanship / Edition ...
Robert Martin
Robert C. Martin (1)
No bullshit guide to linear algebra
Ivan Savov