Spinors and Space-Time: Volume 2, Spinor and Twistor Methods ...
Roger Penrose & Wolfgang Rindler
Cambridge Monographs on Mathematical Physics (1)
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Play of Masks
Frithjof Schuon
PLP An introduction to mathematical proof
Seckin Demibras, Andrew Rechnitzer
Constructive Anatomy
George B. Bridgman
Dover Anatomy for Artist (1)