Fortell venner om denne varen:
Proof Theory of Modal Logic - Applied Logic Series Softcover reprint of hardcover 1st ed. 1996 edition
Heinrich Wansing
Pris
Mex$ 2.983
Bestillingsvarer
Forventes levert 7. - 15. jul
Legg til iMusic ønskeliste
Eller
Finnes også som:
Proof Theory of Modal Logic - Applied Logic Series Softcover reprint of hardcover 1st ed. 1996 edition
Heinrich Wansing
Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.
318 pages, biography
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 9. desember 2010 |
| ISBN13 | 9789048147205 |
| Utgivere | Springer |
| Antall sider | 318 |
| Mål | 155 × 235 × 17 mm · 467 g |
| Redaktør | Wansing, Heinrich |
Vis alle
Mer med Heinrich Wansing
![Cover for Heinrich Wansing · Dag Prawitz on Proofs and Meaning - Outstanding Contributions to Logic (Innbunden bok) [2015 edition] (2014)](https://imusic.b-cdn.net/images/item/original/400/9783319110400.jpg?heinrich-wansing-2014-dag-prawitz-on-proofs-and-meaning-outstanding-contributions-to-logic-innbunden-bok&class=scaled&v=1427653925)
![Cover for Heinrich Wansing · Recent Trends in Philosophical Logic - Trends in Logic (Innbunden bok) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/798/9783319060798.jpg?heinrich-wansing-2014-recent-trends-in-philosophical-logic-trends-in-logic-innbunden-bok&class=scaled&v=1401489095)
![Cover for Heinrich Wansing · Displaying Modal Logic - Trends in Logic (Pocketbok) [Softcover reprint of hardcover 1st ed. 1998 edition] (2010)](https://imusic.b-cdn.net/images/item/original/793/9789048150793.jpg?heinrich-wansing-2010-displaying-modal-logic-trends-in-logic-pocketbok&class=scaled&v=1526071482)
![Cover for Heinrich Wansing · Displaying Modal Logic - Trends in Logic (Innbunden bok) [1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/051/9780792352051.jpg?heinrich-wansing-1998-displaying-modal-logic-trends-in-logic-innbunden-bok&class=scaled&v=1410235709)
Se alt med Heinrich Wansing ( f.eks. Innbunden bok , Pocketbok og Bok )