Spinors and Space-Time: Volume 2, Spinor and Twistor Methods ...
Roger Penrose & Wolfgang Rindler
Cambridge Monographs on Mathematical Physics (1)
Pragmatism, a New Name for Some Old Ways of Thinking
William James
A brief introduction to type theory and the univalence axiom
Jackson Macor
Practical Foundations for Programming Languages
Robert Harper
The Courage of Hopelessness: Chronicles of a Year of Acting ...
Slavoj Žižek