Tipsa dina vänner om produkten:
Proof Theory of Modal Logic - Applied Logic Series Heinrich Wansing 1996 edition
Pris
SEK 1.579
Beställningsvara
Förväntad leverans 5 - 9 jan 2026
Julklappar kan bytas fram till 31:e januari
Lägg till din iMusic-önskelista
eller
Finns även som:
Proof Theory of Modal Logic - Applied Logic Series
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öcker Inbunden Bok (Inbunden bok med hårda pärmar och skyddsomslag) |
| Releasedatum | 31 oktober 1996 |
| ISBN13 | 9780792341208 |
| Utgivare | Springer |
| Antal sidor | 318 |
| Mått | 155 × 235 × 19 mm · 644 g |
| Språk | Engelska |
| Redaktör | Wansing, Heinrich |
Fler produkter med Heinrich Wansing
Visa alla
![Cover for Heinrich Wansing · Dag Prawitz on Proofs and Meaning - Outstanding Contributions to Logic (Inbunden 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-inbunden-bok&class=scaled&v=1427653925)
![Cover for Heinrich Wansing · Recent Trends in Philosophical Logic - Trends in Logic (Inbunden 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-inbunden-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 (Inbunden Bok) [1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/051/9780792352051.jpg?heinrich-wansing-1998-displaying-modal-logic-trends-in-logic-inbunden-bok&class=scaled&v=1410235709)
Se alt med Heinrich Wansing ( t.ex. Inbunden Bok , Pocketbok och Bok )