Higher-Order Algebra, Logic, and Term Rewriting: First International ...
Jan Heering & Karl Meinke & Bernhard Möller & Tobias Nipkow
Csound: A Sound and Music Computing System
Victor Lazzarini & Steven Yi & John Ffitch & Joachim Heintz & Øyvind Brandtsegg & Iain McCurdy
The Philosophy of Space and Time
Hans Reichenbach
The Secret Man: The Story of Watergate's Deep Throat
Bob Woodward
Philosophy of Mind
Jaegwon Kim
Abstract Riemann Integration
Barend Christiaan Strydom