Interpolation and Definability, Volume 1: Modal and Intuitionistic Logic

D Gabbay, L Maksimova

Research output: Book/ReportBook

Original languageEnglish
Place of PublicationOxford
PublisherOxford University Press
ISBN (Print)0198511744
Publication statusPublished - 2005

Cite this