Interpolation and Definability: Modal and Intuitionistic Logic: Modal and Intuitionistic Logics (Oxford Logic Guides)

Interpolation

by: Dov M. Gabbay · Larisa Maksimova

Hardcover

ISBN: 978-0-19-851174-8

ISBN-10: 0-19-851174-4

OUP Oxford · 2005