| 书目名称 | Logica: Metodo Breve |
| 编辑 | Daniele Mundici |
| 视频video | http://file.papertrans.cn/589/588120/588120.mp4 |
| 概述 | Senza richiedere prerequisiti, lo studente perviene alla dimostrazione del teorema di completezza di Goedel per la logica dei predicati con eguaglianza.Numerosi esercizi guidano il lettore a una lettu |
| 丛书名称 | UNITEXT |
| 图书封面 |  |
| 描述 | Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Gödel, Löwenheim-Skolem) introducendo i concetti sintattici e semantici in modo progressivo, dalla logica booleana a quella predicativa. Per facilitare la lettura attiva, il testo contiene numerosi esercizi. |
| 出版日期 | Textbook 2011 |
| 关键词 | Compattezza e modelli nonstandard; Deduzione Automatica; Logica Matematica; Semantica di Tarski; Teorema |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-88-470-1884-6 |
| isbn_softcover | 978-88-470-1883-9 |
| isbn_ebook | 978-88-470-1884-6Series ISSN 2038-5714 Series E-ISSN 2532-3318 |
| issn_series | 2038-5714 |
| copyright | Springer Milan 2011 |