| Shelfclass_id | 4.B.1 |
| Sortkey | GABBAY, DOV M |
| Authors | Dov M. Gabbay, Larisa Maksimova |
| Title | Interpolation and Definability: Modal and Intuitionistic Logics |
| Publisher | Clarendon Press |
| Year | 2005 |
| Languages | eng |
| Isbn | 0198511744 |
| Series | Oxford logic guides |
| Volume | 46 |
| Description | (hbk.) xiv, 508 p. 24 cm |
| Record date | 20060824 |
| Location | New York |
| Keywords | Interpolation, Modality (Logic), Definability theory (Mathematical logic) |
| Urlnote | Table of contents only |
| Urls | http://www.loc.gov/catdir/enhancements/fy0637/2005279952-t.html |