Recomienda este artículo a tus amigos:
Labelled Deduction - Applied Logic Series Luca Vigano 2000 edition
Labelled Deduction - Applied Logic Series
Luca Vigano
Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature.
278 pages, biography
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 30 de abril de 2000 |
| ISBN13 | 9780792362371 |
| Editores | Springer |
| Páginas | 267 |
| Dimensiones | 170 × 244 × 17 mm · 576 g |
| Lengua | Inglés |
| Editor | Basin, David |
| Editor | D'Agostino, M. |
| Editor | Gabbay, Dov M. |
| Editor | Matthews, Sean |
| Editor | Vigano, Luca |
Mas por Luca Vigano
Mostrar todoMere med samme udgiver
Ver todo de Luca Vigano ( Ej. Hardcover Book y Paperback Book )