Fortell venner om denne varen:
Proof Theory of Modal Logic - Applied Logic Series Heinrich Wansing 1996 edition
Pris
CA$ 222,99
Bestillingsvarer
Forventes levert 3. - 11. des
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller
Finnes også 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øker Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 31. oktober 1996 |
| ISBN13 | 9780792341208 |
| Utgivere | Springer |
| Antall sider | 318 |
| Mål | 155 × 235 × 19 mm · 644 g |
| Språk | Engelsk |
| Redaktør | Wansing, Heinrich |
Vis alle
Mer med Heinrich Wansing
Se alt med Heinrich Wansing ( f.eks. Innbunden bok , Pocketbok og Bok )