Limit search to available items
Book Cover
E-book
Author Gabbay, Dov M., 1945-

Title Interpolation and definability : modal and intuitionistic logic / D.M. Gabbay, L. Maksimova
Published Oxford : Oxford University Press, 2005
Online access available from:
Oxford Scholarship Online    View Resource Record  

Copies

Description 1 online resource (xiv, 508 pages) : illustrations
Series Oxford logic guides ; 46
Oxford logic guides ; 46
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
Bibliography Includes bibliographical references and index
Notes Description based on print version record
Subject Modality (Logic)
Interpolation.
Definability theory (Mathematical logic)
Form Electronic book
Author Maksimova, L. L. (Larisa L╩╣vovna)
ISBN 9780191705779 ebook
0191705772 ebook