Book Details
Delivery Location
Delivery fee: Select location
Delivery in 14 days
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.
Get Natural Deduction, Hybrid Systems and Modal Logics by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer and it has pages.
