Povej prijatelju o tem izdelku:
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
| Medij | Knjige Hardcover Book (Knjiga s trdim hrbtom in platnicami) |
| Izdano | 30. aprila 2000 |
| ISBN13 | 9780792362371 |
| Založniki | Springer |
| Strani | 267 |
| Dimenzije | 170 × 244 × 17 mm · 576 g |
| Jezik | Angleščina |
| Urednik | Basin, David |
| Urednik | D'Agostino, M. |
| Urednik | Gabbay, Dov M. |
| Urednik | Matthews, Sean |
| Urednik | Vigano, Luca |
Božična darila lahko vrnete do 31. januarja