This book provides a detailed exposition of one of the most
practical and popular methods of proving theorems in logic, called
Natural Deduction. It is presented both historically and
systematically. Also some combinations with other known proof
methods are explored. The initial part of the book deals with
Classical Logic, whereas the rest is concerned with systems for
several forms of Modal Logics, one of the most important branches
of modern logic, which has wide applicability.
General
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!