Interpolation and definability : modal and intuitionistic logic :: Dov M. Gabbay :: ISBN 0198511744 :: Oxford University Press 2005 :: OBNB, the Open British National Bibliography

Publication Data

Title Interpolation and definability : modal and intuitionistic logic
Author Dov M. Gabbay
Contributor L. L. Maksimova
Publisher Oxford University Press
Publication date 2005
Publication location Oxford
Language English

Topics

Modality (Logic)
Interpolation
Definability theory (Mathematical logic)

Catalogue Data

OBNB ID GBA528581
ISBN 10 0198511744
ISBN 13 n/a
Type BibliographicResource, MultiVolumeBook
Dewey Classification 511.3

ISBD

P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Interpolation and definability : modal and intuitionistic logic by Dov M. Gabbay. ISBN 0198511744. Published by Oxford University Press in 2005. Publication and catalogue information, links to buy online and reader comments.