Fortæl dine venner om denne vare:
Labelled Deduction - Applied Logic Series David Basin Softcover reprint of the original 1st ed. 2000 edition
Pris
DKK 863
Bestilles fra fjernlager
Forventes klar til forsendelse 6. - 12. okt.
Modtag notifikation om nye David Basin udgivelser
Tilføj til din iMusic ønskeseddel
eller
Labelled Deduction - Applied Logic Series
David Basin
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, black & white illustrations, bibliography
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 8. oktober 2012 |
| ISBN13 | 9789401057813 |
| Forlag | Springer |
| Antal sider | 267 |
| Mål | 155 × 235 × 15 mm · 399 g |
| Klipper/redaktør | Basin, David |
| Klipper/redaktør | D'Agostino, M. |
| Klipper/redaktør | Gabbay, Dov M. |
| Klipper/redaktør | Matthews, Sean |
| Klipper/redaktør | Vigano, Luca |
![Cover for David Basin · Applied Information Security: A Hands-on Approach (Paperback Bog) [2011 edition] (2013)](https://imusic.b-cdn.net/images/item/original/321/9783642436321.jpg?david-basin-2013-applied-information-security-a-hands-on-approach-paperback-bog&class=scaled&v=1408499770)
![Cover for David Basin · Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings - Lecture Notes in Computer Science (Paperback Bog) [2003 edition] (2003)](https://imusic.b-cdn.net/images/item/original/648/9783540406648.jpg?david-basin-2003-theorem-proving-in-higher-order-logics-16th-international-conference-tphols-2003-rom-italy-september-8-12-2003-proceedings-lecture-notes-in-computer-science-paperback-bog&class=scaled&v=1485716445)
![Cover for Carsten Rossi · Happiness Hacks: Das Anti-Digital-Detox-Buch: Wie digitale Medien Sie glucklich machen konnen (Paperback Bog) [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 (Hardcover bog) [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-hardcover-bog&class=scaled&v=1786374320)
![Cover for Handbuch Organisationssoziologie (Hardcover bog) [1. Aufl. 2021 edition] (2026)](https://imusic.b-cdn.net/images/item/original/191/9783658159191.jpg?2026-handbuch-organisationssoziologie-hardcover-bog&class=scaled&v=1605099239)
