Vinkkaa tuotetta kavereillesi:
Proof Methods for Modal and Intuitionistic Logics - Synthese Library 1983 edition
M. Fitting
Hinta
SEK 2.169
Tilattu etävarastosta
Arvioitu toimitus ke - to 19. - 27. marras
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi
tai
Löytyy myös muodossa:
Proof Methods for Modal and Intuitionistic Logics - Synthese Library 1983 edition
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 | Kirjat Hardcover Book (Sidottu kirja kovilla kansilla sekä suojakannella) |
| Julkaisupäivämäärä | lauantai 30. huhtikuuta 1983 |
| ISBN13 | 9789027715739 |
| Tuottaja | Springer |
| Sivujen määrä | 555 |
| Mitta | 210 × 297 × 31 mm · 966 g |
| Kieli | English |
Näytä kaikki
Lisää tuotteita M. Fitting
![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)
![Cover for M. Fitting · Types, Tableaus, and Goedel's God - Trends in Logic (Hardcover Book) [2002 edition] (2002)](https://imusic.b-cdn.net/images/item/original/043/9781402006043.jpg?m-fitting-2002-types-tableaus-and-goedel-s-god-trends-in-logic-hardcover-book&class=scaled&v=1459503207)
Muutkin ovat ostaneet
Katso kaikki joka sisältää M. Fitting ( Esim. Hardcover Book Ja Paperback Book )