Recomienda este artículo a tus amigos:
Proof Methods for Modal and Intuitionistic Logics - Synthese Library M. Fitting Softcover reprint of the original 1st ed. 1983 edition
Precio
$ 209,99
sin IVA
Pedido desde almacén remoto
Entrega prevista 23 de jun. - 6 de jul.
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
También disponible como:
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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 25 de diciembre de 2010 |
| ISBN13 | 9789048183814 |
| Editores | Springer |
| Páginas | 555 |
| Dimensiones | 301 × 154 × 35 mm · 743 g |
| Lengua | Inglés |
Mas por M. Fitting
Mostrar todo![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)
Ver todo de M. Fitting ( Ej. Hardcover Book y Paperback Book )