Mechanizing Mathematical Reasoning: Essays in Honor of Jörg ...
Dieter Hutter
Jazz Goes Classics Jazzy Favorits to Classic Guitar
Mel Bay
Cognitive Models in Language and Thought: Ideology, Metaphors ...
René Dirven & Martin Pütz & Roslyn M. Frank & Martin Putz
Die toten Seelen: oder Tschitschikows Abenteuer
Nikolai W. Gogol
A Modern Perspective on Type Theory: From Its Origins Until ...
F. D. Kamareddine & T. Laan & Rob Nederpelt
Developmental Psychology: Infancy and Childhood
David R. Shaffer