Analysis and synthesis of logics
how to cut and paste reasoning systems
Edición de la obra Analysis and synthesis of logics
| Autor | Walter A. Carnielli |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2008 |
| Lugar | Dordrecht |
| Idioma | inglés |
| Páginas | 600 |
| ISBN-13 | 9781402067815, 9781402067822 |
| ISBN-10 | 140206781X, 1402067828 |
| OCLC | 180474052 |
| LCCN | 2008920294 |
| Serie | Applied logic series -- v. 35 |