Interpolation and definability: Model and intuitionistic logic Dov M Gabbay and Maksimove

By:

Contributor(s):

Material type: Text

TextSeries: Publication details: Clarendon Press, Oxford 2005Edition: Description: Subject(s):

DDC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings
Item type	Current library	Home library	Call number	Status	Date due	Barcode
Book	Dept. of Mathematics Processing Center	Dept. of Mathematics	R 511.322 GAB-I (Browse shelf(Opens below))	Available		MAT5906

There are no comments on this title.

to post a comment.