The Leading eBooks Store Online
for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, Sony Reader...
Most popular at the top
A Practical Logic of Cognitive Systems
Elsevier Science 2005; US$ 220.00The present work is a continuation of the authors' acclaimed multi-volume A Practical Logic of Cognitive Systems. After having investigated the notion of relevance in their previous volume, Gabbay and Woods now turn to abduction. In this highly original approach, abduction is construed as ignorance-preserving inference, in which conjecture plays a... more...
Logic and the Modalities in the Twentieth Century
Elsevier Science 2006; US$ 270.00Logic and the Modalities in the Twentieth Century is an indispensable research tool for anyone interested in the development of logic, including researchers, graduate and senior undergraduate students in logic, history of logic, mathematics, history of mathematics, computer science and artificial intelligence, linguistics, cognitive science, argumentation... more...
The Many Valued and Nonmonotonic Turn in Logic
Elsevier Science 2007; US$ 260.00The present volume of the Handbook of the History of Logic brings together two of the most important developments in 20th century non-classical logic. These are many-valuedness and non-monotonicity. On the one approach, in deference to vagueness, temporal or quantum indeterminacy or reference-failure, sentences that are classically non-bivalent are... more...
Greek, Indian and Arabic Logic
Elsevier Science 2004; US$ 225.00Greek, Indian and Arabic Logic marks the initial appearance of the multi-volume Handbook of the History of Logic. Additional volumes will be published when ready, rather than in strict chronological order. Soon to appear are The Rise of Modern Logic: From Leibniz to Frege. Also in preparation are Logic From Russell to Gödel, The Emergence of Classical... more...
The Rise of Modern Logic
Elsevier Science 2004; US$ 260.00With the publication of the present volume, the Handbook of the History of Logic turns its attention to the rise of modern logic. The period covered is 1685-1900, with this volume carving out the territory from Leibniz to Frege. What is striking about this period is the earliness and persistence of what could be called 'the mathematical turn in logic'.... more...
British Logic in the Nineteenth Century
Elsevier Science 2008; US$ 245.00The present volume of the Handbook of the History of Logic is designed to establish 19th century Britain as a substantial force in logic, developing new ideas, some of which would be overtaken by, and other that would anticipate, the century's later capitulation to the mathematization of logic. British Logic in the Nineteenth Century is indispensable... more...
Handbook of the history of logic
Elsevier Science 2008; US$ 245.00Medieval and Renaissance Logic is an indispensable research tool for anyone interested in the development of logic, including researchers, graduate and senior undergraduate students in logic, history of logic, mathematics, history of mathematics, computer science and AI, linguistics, cognitive science, argumentation theory, philosophy, and the history... more...
Logic from Russell to Church
Elsevier Science 2009; US$ 270.00This volume is number five in the eleven volume Handbook of the History of Logic. It covers the first fifty years of the development of mathematical logic in the twentieth century, and concentrates on the achievements of the great names of the period ? Russell, Post, Gödel, Tarski, Church, and the like. This was the period in which mathematical logic... more...
Handbook of Philosophical Logic
Springer 2010; US$ 149.99This title includes: Lambda Calculi: A Guide, Interpolation and Definability, and, Discourse Representation Theory. more...
Logical Tools for Handling Change in Agent-Based Systems
Springer 2010; US$ 99.99Agents act on the basis of their beliefs and these beliefs change as they interact with other agents. In this book the authors propose and explain general logical tools for handling change. These tools include preferential reasoning, theory revision, and reasoning in inheritance systems, and the authors use these tools to examine nonmonotonic logic,... more...









