Tallenna
Logica: Metodo Breve
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.
- Kirjailija
- Daniele Mundici
- Painos
- 2011 ed.
- ISBN
- 9788847018839
- Kieli
- italia
- Paino
- 310 grammaa
- Sarja
- UNITEXT (osa 50)
- Julkaisupäivä
- 10.2.2011
- Kustantaja
- Springer Verlag
- Sivumäärä
- 126
