Recomienda este artículo a tus amigos:
Types, Tableaus, and Godel’s God - Trends in Logic M. Fitting Softcover reprint of the original 1st ed. 2002 edition
Precio
$ 117,49
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
Types, Tableaus, and Godel’s God - Trends in Logic
M. Fitting
Gödel's modal ontological argument is the centrepiece of an extensive examination of intensional logic. A reader interested in (modal) type theory can safelyskip ontological issues, just as one interested in Gödel's argument can omit the more mathematical portions, such as the completeness proof for tableaus.
196 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 11 de octubre de 2012 |
| ISBN13 | 9789401039123 |
| Editores | Springer |
| Páginas | 181 |
| Dimensiones | 160 × 240 × 11 mm · 285 g |
Mas por M. Fitting
Mostrar todo![Cover for M. Fitting · Proof Methods for Modal and Intuitionistic Logics - Synthese Library (Paperback Book) [Softcover reprint of the original 1st ed. 1983 edition] (2010)](https://imusic.b-cdn.net/images/item/original/814/9789048183814.jpg?m-fitting-2010-proof-methods-for-modal-and-intuitionistic-logics-synthese-library-paperback-book&class=scaled&v=1446283968)
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 )