Tell your friends about this item:
Natural Deduction, Hybrid Systems and Modal Logics - Trends in Logic Andrzej Indrzejczak 2010 edition
Price
₺ 10,197
excl. VAT
Ordered from remote warehouse
Expected delivery Dec 8 - 18
Christmas presents can be returned until 31 January
Our customers say:
Add to your iMusic wish list
Also available as:
Natural Deduction, Hybrid Systems and Modal Logics - Trends in Logic
Andrzej Indrzejczak
This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction.
514 pages, 20 black & white tables, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | September 5, 2012 |
| ISBN13 | 9789400732438 |
| Publishers | Springer |
| Pages | 492 |
| Dimensions | 155 × 235 × 26 mm · 716 g |
Show all
More by Andrzej Indrzejczak
![Cover for Andrzej Indrzejczak · Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi - Studies in Universal Logic (Paperback Book) [2021 edition] (2021)](https://imusic.b-cdn.net/images/item/original/474/9783030571474.jpg?andrzej-indrzejczak-2021-sequents-and-trees-an-introduction-to-the-theory-and-applications-of-propositional-sequent-calculi-studies-in-universal-logic-paperback-book&class=scaled&v=1617910218)
![Cover for Andrzej Indrzejczak · Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi - Studies in Universal Logic (Hardcover Book) [2021 edition] (2020)](https://imusic.b-cdn.net/images/item/original/443/9783030571443.jpg?andrzej-indrzejczak-2020-sequents-and-trees-an-introduction-to-the-theory-and-applications-of-propositional-sequent-calculi-studies-in-universal-logic-hardcover-book&class=scaled&v=1613480435)
See all of Andrzej Indrzejczak ( e.g. Hardcover Book and Paperback Book )