Heat Kernels and Dirac Operators
Ezra Getzler
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Operating System Design: The Xinu Approach, Second Edition
Douglas Comer
Spinors and Space-Time: Volume 2, Spinor and Twistor Methods ...
Roger Penrose & Wolfgang Rindler
Cambridge Monographs on Mathematical Physics (1)
Revolt Against the Modern World: Politics, Religion, and Social ...
Julius Evola