Tipsa dina vänner om produkten:
Labelled Deduction - Applied Logic Series Luca Vigano 2000 edition
Pris
SEK 1.049
Beställningsvara
Förväntad leverans 26 jan - 3 feb
Lägg till din iMusic-önskelista
eller
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
| Media | Böcker Inbunden Bok (Inbunden bok med hårda pärmar och skyddsomslag) |
| Releasedatum | 30 april 2000 |
| ISBN13 | 9780792362371 |
| Utgivare | Springer |
| Antal sidor | 267 |
| Mått | 170 × 244 × 17 mm · 576 g |
| Språk | Engelska |
| Redaktör | Basin, David |
| Redaktör | D'Agostino, M. |
| Redaktör | Gabbay, Dov M. |
| Redaktör | Matthews, Sean |
| Redaktör | Vigano, Luca |
Fler produkter med Luca Vigano
Visa allaSe alt med Luca Vigano ( t.ex. Inbunden Bok och Pocketbok )