Higher-Order Algebra, Logic, and Term Rewriting: First International ...
Jan Heering & Karl Meinke & Bernhard Möller & Tobias Nipkow
The Roman Guide to Slave Management: A Treatise by Nobleman ...
Jerry Toner
Logic Programming, Knowledge Representation, and Nonmonotonic ...
Marcello Balduccini & Tran Cao Son
Analysis I
Roger Godement
Lectures to My Students
Charles H. Spurgeon
Theories of Integration: The integrals of Riemann, Lebesgue, ...
Douglas S. Kurtz & Jaroslav Kurzweil & Charles W. Swartz
Dark Secrets of the Terascale, the (Tasi 2011) - “ Proceedings ...
Konstantin Matchev & Timothy M. P. Tait