Higher-Order Algebra, Logic, and Term Rewriting: First International ...
Jan Heering & Karl Meinke & Bernhard Möller & Tobias Nipkow
A Farewell to Truth
Gianni Vattimo
Why Philosophy Begins with Thales
Stephen R. C. Hicks
Frontiers in Belief Revision
M. Williams & Hans Rott
Teach Yourself VISUALLY Python
Guy Hart-Davis
A Chord-Melody Methodology for Guitar
Harold Combess