Freunden von diesem Artikel berichten:
Labelled Deduction - Applied Logic Series Luca Vigano 2000 edition
Preis
SFr. 85,49
exkl. MwSt.
Bestellware
Lieferdatum: ca. 26. Jan - 3. Feb
Zu deiner iMusic Wunschliste hinzufügen
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
| Medien | Bücher Gebundenes Buch (Buch mit hartem Rücken und steifem Einband) |
| Erscheinungsdatum | 30. April 2000 |
| ISBN13 | 9780792362371 |
| Verlag | Springer |
| Seitenanzahl | 267 |
| Maße | 170 × 244 × 17 mm · 576 g |
| Sprache | Englisch |
| Redakteur | Basin, David |
| Redakteur | D'Agostino, M. |
| Redakteur | Gabbay, Dov M. |
| Redakteur | Matthews, Sean |
| Redakteur | Vigano, Luca |
Weitere Titel von Luca Vigano
Alle anzeigenAlle Titel von Luca Vigano ansehen ( u. a. Gebundenes Buch und Taschenbuch )