Proof Theory of Modal Logic - Applied Logic Series - Heinrich Wansing - Bøger - Springer - 9780792341208 - 31. oktober 1996
Ved uoverensstemmelse mellem cover og titel gælder titel

Proof Theory of Modal Logic - Applied Logic Series 1996 edition

Heinrich Wansing

Pris
Ft 68.761

Bestilles fra fjernlager

Forventes klar til forsendelse 1. - 7. jul.
Tilføj til din iMusic ønskeseddel
Eller

Findes også som:

Proof Theory of Modal Logic - Applied Logic Series 1996 edition

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

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 31. oktober 1996
ISBN13 9780792341208
Forlag Springer
Antal sider 318
Mål 155 × 235 × 19 mm   ·   644 g
Sprog Engelsk  
Klipper/redaktør Wansing, Heinrich

Vis alle

Mere med Heinrich Wansing