Intuitionistic Type Theory
Per Martin-Lof
Negating Negation: Against the Apophatic Abandonment of the ...
Timothy D. Knepper
Change by Design
Brown, Tim
Too Much to Know: Managing Scholarly Information Before the ...
Ann Blair
Spinors and Space-Time: Volume 2, Spinor and Twistor Methods ...
Roger Penrose & Wolfgang Rindler
Cambridge Monographs on Mathematical Physics (1)