Recomienda este artículo a tus amigos:
Interpolation and Definability: Modal and Intuitionistic Logics - Oxford Logic Guides Gabbay, Dov M. (, Department of Computer Science, King's College London)
Interpolation and Definability: Modal and Intuitionistic Logics - Oxford Logic Guides
Gabbay, Dov M. (, Department of Computer Science, King's College London)
This monograph is on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming, philosophy of science and natural language.
524 pages, numerous line drawings and mathematical examples
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 28 de julio de 2005 |
| ISBN13 | 9780198511748 |
| Editores | Oxford University Press |
| Páginas | 524 |
| Dimensiones | 163 × 242 × 33 mm · 902 g |
| Lengua | Inglés |