Interpolation and Definability: Modal and Intuitionistic Logics by D.M. Gabbay
Material type: TextPublication details: Oxford Clarendon Press 2005Description: viii, 508pISBN: 0198511744Subject(s): Definability theory (Mathematical logic) | Interpolation | Modality (Logic)DDC classification: 511.3 GAB
Contents:
<p>Contents:</p>
<p><span style="line-
Item type | Current library | Collection | Call number | Vol info | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
REFERENCE BOOK | LRC_JUIT Mathematics | REFERENCE SECTION | REF 511.3 GAB (Browse shelf (Opens below)) | Copy 1 | Not for loan | 024055 |
Total holds: 0
<p>Contents:</p>
<p><span style="line-
There are no comments on this title.