0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Mathematical foundations

Buy Now

Proof Theory of Modal Logic (Paperback, Softcover reprint of hardcover 1st ed. 1996) Loot Price: R4,239
Discovery Miles 42 390
Proof Theory of Modal Logic (Paperback, Softcover reprint of hardcover 1st ed. 1996): Heinrich Wansing

Proof Theory of Modal Logic (Paperback, Softcover reprint of hardcover 1st ed. 1996)

Heinrich Wansing

Series: Applied Logic Series, 2

 (sign in to rate)
Loot Price R4,239 Discovery Miles 42 390 | Repayment Terms: R397 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.

General

Imprint: Springer
Country of origin: Netherlands
Series: Applied Logic Series, 2
Release date: December 2010
First published: 1996
Editors: Heinrich Wansing
Dimensions: 235 x 155 x 17mm (L x W x T)
Format: Paperback
Pages: 318
Edition: Softcover reprint of hardcover 1st ed. 1996
ISBN-13: 978-90-481-4720-5
Categories: Books > Humanities > Philosophy > Topics in philosophy > Logic
Books > Science & Mathematics > Mathematics > Mathematical foundations > General
Books > Computing & IT > Applications of computing > Artificial intelligence > General
Books > Philosophy > Topics in philosophy > Logic
LSN: 90-481-4720-4
Barcode: 9789048147205

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

Partners