2061: Odyssey Three
Arthur C. Clarke
History of Western Philosophy
Nigel Tubbs
The Blackwell Guide to Social and Political Philosophy
Robert L. Simon
The Rediscovery of the Mind
John Rogers Searle
Tennyson: A Selected Edition
Alfred Tennyson Baron Tennyson
Ideals, Varieties, and Algorithms: An Introduction to Computational ...
David A. Cox & John Little & Donal O'Shea
Graph Structures for Knowledge Representation and Reasoning: ...
Madalina Croitoru & Pierre Marquis & Sebastian Rudolph & Gem Stapleton
Madalina Croitoru & Sebastian Rudolph & Nic Wilson & John Howse & Olivier Corby
Madalina Croitoru & Sebastian Rudolph & Stefan Woltran & Christophe Gonzales
What Is Mathematical Logic?
John N. Crossley
Set Theory: A First Course
Daniel W. Cunningham
Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin
Natural Language Processing – IJCNLP 2005: Second International ...
Robert Dale & Kam-Fai Wong & Jian Su & Oi Yee Kwong
Proof and Knowledge in Mathematics
Michael Detlefsen
Higher-Order Algebra, Logic, and Term Rewriting: Second International ...
Gilles Dowek & Jan Heering & Karl Meinke & Bernhard Möller
Taking the “Oof!” Out of Proofs
Alexandr Draganov
Fuzzy Sets, Logics and Reasoning About Knowledge
Didier Dubois & Henri Prade & Erich Peter Klement
Fuzzy Sets and Systems: Theory and Applications
Didier J. Dubois & Henri M. Prade
Hegel, Nietzsche, and Philosophy: Thinking Freedom
Will Dudley
Epistemology Versus Ontology: Essays on the Philosophy and Foundations ...
P. Dybjer & Sten Lindström & Erik Palmgren & B. G. Sundholm
Mathematical Logic
Heinz-Dieter Ebbinghaus & Jörg Flum & Wolfgang Thomas
Fallacies and Judgments of Reasonableness: Empirical Research ...
Frans H. van Eemeren & Bart Garssen & Bert Meuffels
A Systematic Theory of Argumentation: The Pragma-Dialectical ...
Frans H. van Eemeren & Robert Grootendorst
Conceptual Structures: Knowledge Representations as Interlingua: ...
Peter W. Eklund & Gerard Ellis & Graham Mann