Journals Higher Education
Important OUP's Response to COVID-19 Learn more



Published: 28 July 2005

522 Pages

ISBN: 9780198511748

Also Available As:


Also Available In:

Bookseller Code (06)

Interpolation and Definability

Modal and Intuitionistic Logic

Dov M. Gabbay and Larisa Maksimova

A Clarendon Press Publication

Oxford Logic Guides

  • Excellent expository monograph by experts in the field
  • Aimed at a broad audience of mathematicians, computer scientists and philosophers