Fortell venner om denne varen:
Labelled Non-Classical Logics Luca Vigano 2000 edition
Pris
NOK 1.479
Bestillingsvarer
Forventes levert 14. - 22. okt
Få varsel om nye utgivelser fra Luca Vigano
Legg til iMusic ønskeliste
eller
Finnes også som:
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
![Cover for Luca Vigano · Labelled Deduction - Applied Logic Series (Innbunden bok) [2000 edition] (2000)](https://imusic.b-cdn.net/images/item/original/371/9780792362371.jpg?luca-vigano-2000-labelled-deduction-applied-logic-series-innbunden-bok&class=scaled&v=1410125799)
![Cover for Carsten Rossi · Happiness Hacks: Das Anti-Digital-Detox-Buch: Wie digitale Medien Sie glucklich machen konnen (Pocketbok) [1. Aufl. 2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Konrad Schmudgen · Unbounded Self-Adjoint Operators on Hilbert Space - Graduate Texts in Mathematics (Innbunden bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/822/9789402423822.jpg?konrad-schmudgen-2026-unbounded-self-adjoint-operators-on-hilbert-space-graduate-texts-in-mathematics-innbunden-bok&class=scaled&v=1786374320)
![Cover for Handbuch Organisationssoziologie (Innbunden bok) [1. Aufl. 2021 edition] (2026)](https://imusic.b-cdn.net/images/item/original/191/9783658159191.jpg?2026-handbuch-organisationssoziologie-innbunden-bok&class=scaled&v=1605099239)
