Pastāsti draugiem par šo preci:
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
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2000. gada 30. aprīlis |
| ISBN13 | 9780792362371 |
| Izdevēji | Springer |
| Lapas | 267 |
| Izmēri | 170 × 244 × 17 mm · 576 g |
| Valoda | Angļu |
| Redaktors | Basin, David |
| Redaktors | D'Agostino, M. |
| Redaktors | Gabbay, Dov M. |
| Redaktors | Matthews, Sean |
| Redaktors | Vigano, Luca |
Vairāk no Luca Vigano
Rādīt visuVairāk no tā paša izdevēja
Skatīt visus Luca Vigano ( piem., Hardcover Book un Paperback Book )