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
Browsing LRC_JUIT shelves, Shelving location: Mathematics, Collection: REFERENCE SECTION Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| REF 511.3 CAF Automated Model Building | REF 511.3 COL Probabilistic Logic in a Coherent Setting | REF 511.3 DEL Cellular Automata: a parallel model | REF 511.3 GAB Interpolation and Definability: Modal and Intuitionistic Logics | REF 511.3 HAA Stochastic Petri Nets: modeling, stability, simulation | REF 511.3 KAM Synthesis of Finite State Machines: functional optimization | REF 511.3 KLU Abstract Computing Machines: a lambda calculus perspective |
<p>Contents:</p>
<p><span style="line-
There are no comments on this title.