Interpolation and definability [electronic resource] : modal and intuitionistic logic / D.M. Gabbay, L. Maksimova.

By:

Gabbay, Dov M, 1945-

Contributor(s):

Series: Oxford logic guides ; 46.Publication details: Oxford : Oxford University Press, 2005.Description: 1 online resource (xiv, 508 p.) : illISBN:

9780198511748

Subject(s):

Genre/Form:

Electronic books.

Additional physical formats: Print version: No titleDDC classification:

511.3 22

LOC classification:

QA9.46

Online resources:

Click here to access online

Summary: This monograph looks at 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.

Item type:

eBooks

Average rating: 0.0 (0 votes)

Holdings ( 0 )
Title notes ( 3 )

No physical items for this record

This monograph looks at 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.

Description based on print version record.

Includes bibliographical references and index.