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. Per fa...
| 1. Verfasser: | |
|---|---|
| Format: | Electronic Resource |
| Sprache: | Italian |
| Veröffentlicht: |
Milan
Springer
c2011.
|
| Schriftenreihe: | Unitext
1 |
| Schlagworte: | |
| Online Zugang: | Available for University of the Philippines System via SpringerLink |