Proof Theory of Modal Logic - Applied Logic Series - Heinrich Wansing - Books - Springer - 9780792341208 - October 31, 1996
In case cover and title do not match, the title is correct

Proof Theory of Modal Logic - Applied Logic Series 1996 edition

Heinrich Wansing

Price
£ 143.49

Ordered from remote warehouse

Expected delivery Jun 20 - Jul 1
Add to your iMusic wish list

Also available as:

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

Media Books     Hardcover Book   (Book with hard spine and cover)
Released October 31, 1996
ISBN13 9780792341208
Publishers Springer
Pages 318
Dimensions 155 × 235 × 19 mm   ·   644 g
Language English  
Editor Wansing, Heinrich

Show all

More by Heinrich Wansing