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

By:

Contributor(s):

Series: Oxford logic guides ; 46Publication details: Oxford ; New York : Clarendon Press, 2005.Description: xiv, 508 p. ; 24 cmISBN:

Subject(s):

DDC classification:

Item type:

كتاب

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Notes	Date due	Barcode
كتاب	Central Library المكتبة المركزية	511.3 G112 (Browse shelf(Opens below))	Available	قاعة الكتب

Includes bibliographical references and index.