Labelled Non-Classical Logics - Luca Vigano - Bøker - Springer-Verlag New York Inc. - 9781441949622 - 3. desember 2010
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Luca Vigano
Labelled Non-Classical Logics Softcover reprint of the original 1st ed. 2000 edition

Pris
NOK 1.479

Bestillingsvarer

Forventes levert 22. - 30. sep
Få varsel om nye utgivelser fra Luca Vigano

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Ikke vurdert ennå

Finnes også som:

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

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 3. desember 2010
ISBN13 9781441949622
Utgivere Springer-Verlag New York Inc.
Antall sider 292
Mål 155 × 235 × 16 mm   ·   435 g
Språk Engelsk  

Mer fra samme **utgiver**

Se alt med Luca Vigano