Interpolation and definability - modal and intuitionistic logic
- Författare
- Dov M. Gabbay
- (D.M. Gabbay, L. Maksimova)
- Genre
- Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Oxford University Press | 2005 | Storbritannien, Oxford | 508 sidor. | 0-19-851174-4 |
| Oxford University Press | 2005 | England, Oxford | 522 sidor. |