Overview

This book is a specialized monograph on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming, philosophy of science and natural language.Suitable for researchers and graduate students in mathematics, computer science and philosophy, this is the latest in the prestigous world-renowned bOxford Logic Guides/b, which contains bMichael Dummet/b's iElements of intuitionism (second edition)/i, bJ. M. Dunn and G. Hardegree/b's iAlgebraic Methods in Philosophical Logic/i, bH. Rott/b's iChange, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning/i, bP. T. Johnstone/b's iSketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2/i, and bDavid J. Pym and Eike Ritter/b's iReductive Logic and Proof Search: Proof theory, semantics and control/i.

ISBN-13

9780198511748

ISBN-10

0198511744

Weight

2.00 Pounds

Dimensions

9.21 x 1.13 x 6.14 In

List Price

$245.00

Edition

1st Edition

Format

Hardcover

Language

English

Pages

522 pages

Publisher

Clarendon Press

Published On

2005-07-28



View All Offers

Sort by:

Condition
Seller
Seller Comments
Price
Used, Good
Seller details
HPB-Red
★★★★★

Dallas, TX, USA

Connecting readers with great books since 1972! Used textbooks may not include companion materials s...
$210.20

 Free delivery by: 31 Mar 2026

Used, Like New
Seller details
GreatBookPrices-
★★★★☆

Columbia, MD, USA

100% Money Back Guarantee. Brand New, Perfect Condition. We offer expedited shipping to all US locat...
$281.42

 Free delivery by: 31 Mar 2026

Brand New
Seller details
GreatBookPrices-
★★★★☆

Columbia, MD, USA

100% Money Back Guarantee. Brand New, Perfect Condition. We offer expedited shipping to all US locat...
$287.29

 Free delivery by: 31 Mar 2026


Bookstores.com relies on cookies to improve your experience.