Fortell venner om denne varen:
Natural Deduction, Hybrid Systems and Modal Logics - Trends in Logic 2010 edition
Andrzej Indrzejczak
Pris
NOK 2.739
Bestillingsvarer
Forventes levert 28. nov - 9. des
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller
Finnes også som:
Natural Deduction, Hybrid Systems and Modal Logics - Trends in Logic 2010 edition
Andrzej Indrzejczak
The assumed reader should have some ba- ground in logic (an elementary course covering classical propositional and ?rst-order logic with basics of set theory is enough) but not necessarily in modal logic.
514 pages, 20 black & white tables, biography
| Media | Bøker Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 11. juni 2010 |
| ISBN13 | 9789048187843 |
| Utgivere | Springer |
| Sjanger | Aspects (Academic) > Philosophical |
| Antall sider | 492 |
| Mål | 155 × 235 × 28 mm · 893 g |
| Redaktør | Indrzejczak, Andrzej |
Vis alle
Mer med Andrzej Indrzejczak
![Cover for Andrzej Indrzejczak · Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi - Studies in Universal Logic (Pocketbok) [2021 edition] (2021)](https://imusic.b-cdn.net/images/item/original/474/9783030571474.jpg?andrzej-indrzejczak-2021-sequents-and-trees-an-introduction-to-the-theory-and-applications-of-propositional-sequent-calculi-studies-in-universal-logic-pocketbok&class=scaled&v=1617910218)
![Cover for Andrzej Indrzejczak · Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi - Studies in Universal Logic (Innbunden bok) [2021 edition] (2020)](https://imusic.b-cdn.net/images/item/original/443/9783030571443.jpg?andrzej-indrzejczak-2020-sequents-and-trees-an-introduction-to-the-theory-and-applications-of-propositional-sequent-calculi-studies-in-universal-logic-innbunden-bok&class=scaled&v=1613480435)
Se alt med Andrzej Indrzejczak ( f.eks. Pocketbok og Innbunden bok )