Proof Theory of Modal Logic - Applied Logic Series - Heinrich Wansing - Bøger - Springer - 9789048147205 - 9. december 2010
Ved uoverensstemmelse mellem cover og titel gælder titel

Proof Theory of Modal Logic - Applied Logic Series Softcover reprint of hardcover 1st ed. 1996 edition

Heinrich Wansing

Pris
Mex$ 3.741,25

Bestilles fra fjernlager

Forventes klar til forsendelse 2. - 8. jul.
Tilføj til din iMusic ønskeseddel
Eller

Findes også som:

Proof Theory of Modal Logic - Applied Logic Series Softcover reprint of hardcover 1st ed. 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     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 9. december 2010
ISBN13 9789048147205
Forlag Springer
Antal sider 318
Mål 155 × 235 × 17 mm   ·   467 g
Klipper/redaktør Wansing, Heinrich

Vis alle

Mere med Heinrich Wansing