Interpolation and definability : modal and intuitionistic logics / D.M. Gabbay, L.Maksimova.

Saved in:

Bibliographic Details
Main Author:	Gabbay, Dov M., 1945-
Other Authors:	Maksimova, L. L. (Larisa Lʹvovna)
Format:	Book
Language:	English
Published:	Oxford ; New York : Clarendon Press, 2005.
Series:	Oxford logic guides ; 46.
Subjects:	Interpolation. Modality (Logic) Definability theory (Mathematical logic)

PASCAL Offsite

Holdings details from PASCAL Offsite
Call Number:	QA281 .G23 2005
QA281 .G23 2005	Available Place a Hold