Conte aos seus amigos sobre este item:
Proof Methods for Modal and Intuitionistic Logics - Synthese Library Softcover reprint of the original 1st ed. 1983 edition
M. Fitting
Preço
SFr. 178,49
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 28 de out - 5 de nov
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Também disponível como:
Proof Methods for Modal and Intuitionistic Logics - Synthese Library Softcover reprint of the original 1st ed. 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
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 25 de dezembro de 2010 |
| ISBN13 | 9789048183814 |
| Editoras | Springer |
| Páginas | 555 |
| Dimensões | 301 × 154 × 35 mm · 743 g |
| Idioma | English |
Mostrar tudo
Mais por M. Fitting
![Cover for M. Fitting · Types, Tableaus, and Goedel'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-goedel-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)
Outros também compraram
Ver tudo de M. Fitting ( por exemplo Hardcover Book e Paperback Book )