Journal Article
Book Reviews:Franz Baader et al. (eds.), The Description Logic Handbook, Cambridge: Cambridge University Press, 2003, xvii+555 pp., $130, ISBN 0-52178-176-0.
Manuel Bremer
Minds and Machines, 2005, Volume 15, Number 1, Pages 123-126
Journal Article
Book Reviews:Patrick Blackburn, Maarten de Rijke and Yde Venema, Modal Logic, Cambridge: Cambridge University Press, 2002, xxii + 554 pp., US$53.00, ISBN 0-52152-714-7 (paperback).
Manuel Bremer
Minds and Machines, 2005, Volume 15, Number 1, Pages 126-129
Journal Article
Book Reviews:George Lakoff and Rafael E. Núñez, Where Mathematics Comes From, New York: Basic Books, 2000, xvii+493 pp., $30.00, ISBN 0-46503-770-4.
Gary M. Shute
Minds and Machines, 2005, Volume 15, Number 1, Pages 118-123
Journal Article
Book Reviews: David Papineau,Thinking About Consciousness, Clarendon Press (Oxford University Press), 2002, xiv + 266 pp., $35.00 (hardcover), ISBN 0-19924-382-4.
Richard Wyatt
Minds and Machines, 2005, Volume 15, Number 1, Pages 113-118
Book Chapter
Introduction and Basic Concepts
Daniel Kroening and Ofer Strichman
Texts in Theoretical Computer Science. An EATCS Series, 2008, Decision Procedures, Pages 1-23
Journal Article
Mathematics Ho! Which Modern Mathematics Was Modernist?
I. Grattan-Guinness
The Mathematical Intelligencer, 2009, Volume 31, Number 4, Pages 3-11
Journal Article
Notes on Logics of Metric Spaces
Oliver Kutz
Studia Logica, 2007, Volume 85, Number 1, Pages 75-104
Book Chapter
Concurrent Dynamic Epistemic Logic
H. P. Van Ditmarsch, W. Van Der Hoek and B. P. Kooi
Synthese Library, 1, Volume 322, Knowledge Contributors, Pages 105-143
Book Chapter
Decisions, Actions, and Games: A Logical Perspective
Johan van Benthem
Lecture Notes in Computer Science, 2009, Volume 5378, Logic and Its Applications, Pages 1-22
Book Chapter
Freiburg
1921–1953
2007, Ernst Zermelo, Pages 139-258