Pastāsti draugiem par šo preci:
Labelled Non-Classical Logics Luca Vigano 2000 edition
Cena
€ 152,99
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 6. - 14. aug.
Saņemiet paziņojumus par jauniem Luca Vigano izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Pieejams arī kā:
Labelled Non-Classical Logics
Luca Vigano
Labelling was used in many different areas such as resource labelling in relevance logics, prefix tableaux in modal logics, annotated logic programs in logic programming, proof tracing in truth maintenance systems, and various side annotations in higher-order proof theory, arithmetic and analysis.
292 pages, biography
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2000. gada 31. janvāris |
| ISBN13 | 9780792377498 |
| Izdevēji | Springer |
| Lapas | 292 |
| Izmēri | 156 × 234 × 19 mm · 612 g |
| Valoda | Angļu |
Vairāk no Luca Vigano
Rādīt visu![Cover for Luca Vigano · Labelled Deduction - Applied Logic Series (Hardcover Book) [2000 edition] (2000)](https://imusic.b-cdn.net/images/item/original/371/9780792362371.jpg?luca-vigano-2000-labelled-deduction-applied-logic-series-hardcover-book&class=scaled&v=1410125799)
Vairāk no tā paša izdevēja
![Cover for Carsten Rossi · Happiness Hacks: Das Anti-Digital-Detox-Buch: Wie digitale Medien Sie glucklich machen konnen (Paperback Book) [1. Aufl. 2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
Skatīt visus Luca Vigano ( piem., Hardcover Book un Paperback Book )