Interpolation and Definability
Subtitle: Modal and Intuitionistic Logics
Publisher: Oxford University Press, Incorporated
Published: 2005
Language: eng
ISBN-13: 9780191545351