Tell your friends about this item:
Interpolation and Definability: Modal and Intuitionistic Logics - Oxford Logic Guides Gabbay, Dov M. (, Department of Computer Science, King's College London)
Price
$ 276.49
excl. VAT
Ordered from remote warehouse
Expected to be ready for shipping Jun 25 - Jul 7
Our customers say:
Add to your iMusic wish list
Interpolation and Definability: Modal and Intuitionistic Logics - Oxford Logic Guides
Gabbay, Dov M. (, Department of Computer Science, King's College London)
This monograph is 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.
524 pages, numerous line drawings and mathematical examples
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | July 28, 2005 |
| ISBN13 | 9780198511748 |
| Publishers | Oxford University Press |
| Pages | 524 |
| Dimensions | 163 × 242 × 33 mm · 902 g |
| Language | English |
![Cover for Harris Jr., H. Stephen (Partner, Partner, Winston & Strawn LLP) · Anti-Monopoly Law and Practice in China (Paperback Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/089/9780198704089.jpg?harris-jr-h-stephen-partner-partner-winston-strawn-llp-2027-anti-monopoly-law-and-practice-in-china-paperback-book&class=scaled&v=1471196294)
![Cover for Gilmore, Stephen (Professor of Family Law and Vice-Dean, Professor of Family Law and Vice-Dean, King's College London) · Hayes & Williams' Family Law (Paperback Book) [8 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/233/9780192866233.jpg?gilmore-stephen-professor-of-family-law-and-vice-dean-professor-of-family-law-and-vice-dean-king-s-college-london-2027-hayes-williams-family-law-paperback-book&class=scaled&v=1677285021)
![Cover for Hulur, Gizem (Professor, Professor, University of Bamberg) · The Seattle Longitudinal Study: Tracking Adult Development and Aging Over 50+ Years (Hardcover Book) [3 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/633/9780198879633.jpg?hulur-gizem-professor-professor-university-of-bamberg-2027-the-seattle-longitudinal-study-tracking-adult-development-and-aging-over-50-years-hardcover-book&class=scaled&v=1780312906)
![Cover for Pink, Thomas (Emeritus Professor of Philosophy, Emeritus Professor of Philosophy, King's College London) · Free Will: A Very Short Introduction - Very Short Introductions (Paperback Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/826/9780198862826.jpg?pink-thomas-emeritus-professor-of-philosophy-emeritus-professor-of-philosophy-king-s-college-london-2027-free-will-a-very-short-introduction-very-short-introductions-paperback-book&class=scaled&v=1779708645)
![Cover for Gormley, Laurence (Professor of European Law & Jean Monnet Professor, Professor of European Law & Jean Monnet Professor, University of Groningen) · EU Taxation Law (Hardcover Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/403/9780198735403.jpg?gormley-laurence-professor-of-european-law-jean-monnet-professor-professor-of-european-law-jean-monnet-professor-university-of-groningen-2027-eu-taxation-law-hardcover-book&class=scaled&v=1619907403)
![Cover for Bell, Emma (Professor of Organisation Studies, Professor of Organisation Studies, Stockholm School of Economics) · Business Research Methods (Paperback Book) [7 Revised edition] (2027)](https://imusic-static.b-cdn.net/images/item/original/615/9780198918615.jpg?bell-emma-professor-of-organisation-studies-professor-of-organisation-studies-stockholm-school-of-economics-2027-business-research-methods-paperback-book&class=scaled&v=1781538536)
