A Tale of Two Cities
Charles Dickens
Knowledge Representation, Reasoning and Declarative Problem ...
Chitta Baral
Socrates Meets Hume: The Father of Philosophy Meets the Father ...
Peter J. Kreeft
The Theology of Arithmetic: On the Mystical, Mathematical and ...
Iamblichus
Eternity's Sunrise
Leo Damrosch
Recursive Functions and Metamathematics
Roman Murawski
Synthese Library (286)
Prescriptive Reasoning
Richard L. Epstein
An Introduction to Mathematical Logic and Type Theory: To Truth ...
Peter B. Andrews
Frontiers in Belief Revision
M. Williams & Hans Rott
Abductive Reasoning and Learning
Dov M. Gabbay & Philippe Smets
Formal Aspects of Context
Pierre Bonzon & Marcos Cavalcanti & Rolf Nossum
Abduction and Induction: Essays on Their Relation and Integration
P. A. Flach & Antonis Hadjiantonis
Intellectics and Computational Logic: Papers in Honor of Wolfgang ...
Steffen Hölldobler
Why We Need Ordinary Language Philosophy
Sandra Laugier
Advances in Intensional Logic
Maarten de Rijke
What Is Negation?
Dov M. Gabbay & Heinrich Wansing
The Art of Reasoning: An Introduction to Logic and Critical ...
David Kelley
Oxford Studies in Medieval Philosophy - Volume 1
Robert Pasnau
Tractatus Logico-Philosophicus (The Original 1922 Edition with ...
Ludwig Wittgenstein
Four Colors Suffice: How the Map Problem Was Solved - Revised ...
Robin Wilson & Ian Nicholas Stewart
Advances in Temporal Logic
Howard Barringer & Michael Fisher & Dov M. Gabbay & Graham Gough
Quantification in Natural Languages
Elke Bach & E. Jelinek & A. Kratzer & Barbara B. H. Partee
Metamathematics of Fuzzy Logic
Petr Hájek
Modeling Nature: Cellular Automata Simulations with Mathematica®
Richard J. Gaylord & Kazume Nishidate