Tell your friends about this item:
Proof Methods for Modal and Intuitionistic Logics - Synthese Library M. Fitting Softcover reprint of the original 1st ed. 1983 edition
Price
HK$ 1,652
excl. VAT
Ordered from remote warehouse
Expected to be ready for shipping Jun 16 - 22
Our customers say:
Add to your iMusic wish list
Also available as:
Proof Methods for Modal and Intuitionistic Logics - Synthese Library
M. Fitting
The ones we consider are: 1) tableau systems, 2) Gentzen sequent calculi, 3) natural deduction systems, and 4) axiom systems.
555 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | December 25, 2010 |
| ISBN13 | 9789048183814 |
| Publishers | Springer |
| Pages | 555 |
| Dimensions | 301 × 154 × 35 mm · 743 g |
| Language | English |
More by M. Fitting
Show all![Cover for M. Fitting · Types, Tableaus, and Godel’s God - Trends in Logic (Paperback Book) [Softcover reprint of the original 1st ed. 2002 edition] (2012)](https://imusic.b-cdn.net/images/item/original/123/9789401039123.jpg?m-fitting-2012-types-tableaus-and-godel-s-god-trends-in-logic-paperback-book&class=scaled&v=1583001926)
Mere med samme udgiver
![Cover for Carsten Rossi · Happiness Hacks: Das Anti-Digital-Detox-Buch: Wie digitale Medien Sie glucklich machen konnen (Paperback Book) [1. Aufl. 2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
See all of M. Fitting ( e.g. Hardcover Book and Paperback Book )