| 書目名稱 | 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 |
| 關(guān)鍵詞 | 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 |