Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Mathematical foundations

Buy Now

Natural Deduction, Hybrid Systems and Modal Logics (Hardcover, 2010 ed.) Loot Price: R6,959

Discovery Miles 69 590

Repayment Terms: R652 pm x 12*

Add to cart

Natural Deduction, Hybrid Systems and Modal Logics (Hardcover, 2010 ed.): Andrzej Indrzejczak

Natural Deduction, Hybrid Systems and Modal Logics (Hardcover, 2010 ed.)

Andrzej Indrzejczak

Series: Trends in Logic, 30

(sign in to rate)

Loot Price R6,959 Discovery Miles 69 590 | Repayment Terms: R652 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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

Imprint:	Springer
Country of origin:	Netherlands
Series:	Trends in Logic, 30
Release date:	June 2010
First published:	2010
Authors:	Andrzej Indrzejczak
Dimensions:	235 x 155 x 28mm (L x W x T)
Format:	Hardcover
Pages:	492
Edition:	2010 ed.
ISBN-13:	978-90-481-8784-3
Categories:	Books > Science & Mathematics > Mathematics > Numerical analysis Books > Computing & IT > General theory of computing > Mathematical theory of computation 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 Promotions
LSN:	90-481-8784-2
Barcode:	9789048187843