Interpolation and Definability: Modal and Intuitionistic Logic

(Book #46 in the Oxford Logic Guides Series)

by Dov M. Gabbay and Larisa Maksimova

No Customer Reviews

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. Suitable for researchers and graduate students in mathematics, computer science and philosophy, this is the latest in the prestigious world-renowned Oxford Logic Guides,...

Format:Hardcover

Language:English

ISBN:0198511744

ISBN13:9780198511748

Release Date:July 2005

Publisher:Clarendon Press

Length:524 Pages

Weight:1.99 lbs.

Dimensions:1.1" x 6.1" x 9.2"

Related Subjects

Math Mathematics Science & Math

Customer Reviews

0 rating

Write a review

ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.

Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks^® and the ThriftBooks^® logo are registered trademarks of Thrift Books Global, LLC

Interpolation and Definability: Modal and Intuitionistic Logic

(Book #46 in the Oxford Logic Guides Series)

Recommended

Customer Reviews

Popular Categories

Website

My Account

Partnerships

Quick Help

About Us

Follow Us