| 0.01 | | [collana] |
| 0.03 | | [frontespizio] |
| 0.04 | | [colophon] |
| 0.05 | | Indice |
| 0.07 | | Nota del curatore [ di Roberto Cordeschi ] |
| 0.09 | | Prefazione [ di Carlo Cellucci ] |
| 0.30 | | __ |
| 0.30 | | ____ |
| | | [titolo] |
| 1 | | Premessa dell'autore [ di Sergei Petrovich Novikov ] |
| 24 | I. | Algebra delle proposizioni |
| 24 | 1. | Operazioni logiche |
| 28 | 2. | Equivalenza delle formule |
| 33 | 3. | Il principio di dualità |
| 34 | 4. | Il problema della decisione |
| 40 | 5. | Rappresentazione di una funzione a due valori mediante le formule dell'algebra delle proposizioni |
| 42 | 6. | Forme normali principali |
| 48 | II. | Calcolo delle proposizioni |
| 48 | 1. | La nozione di formula |
| 53 | 2. | Definizione di formula vera |
| 60 | 3. | Il teorema di deduzione |
| 65 | 4. | Alcun regole del calcolo delle proposizioni |
| 66 | 5. | Monotonicità |
| 68 | 6. | Formule equivalenti |
| 74 | 7. | Alcui problemi sulla deducibilità |
| 79 | 8. | Formule dll'algebra delle proposizioni e del calcolo delle proposizioni |
| 82 | 9. | Coerenza del calcolo delle proposizioni |
| 84 | 10. | Completezza del calcolo delle proposizioni |
| 85 | 11. | Indipendenza degli assiomi del calcolo delle proposizioni |
| 95 | III. | Logica dei predicati |
| 95 | 1. | Predicati |
| 98 | 2. | Quantificatori |
| 102 | 3. | Interpretazione insiemistica dei predicati |
| 104 | 4. | Assiomi |
| 107 | 5. | Corenza e indipedenza degli assiomi |
| 110 | 6. | Corrispondenze bionivoche tra domini |
| 112 | 7. | Isomorfismo di domini e completezza di sistemi di assiomi |
| 115 | 8. | Assiomi della serie dei numeri naturali |
| 120 | 9. | Formule normali forme normali |
| 123 | 10. | Il problema della decisione |
| 124 | 11. | Logica dei predicati di una variabile |
| 129 | 12. | Domini finiti e domini infiniti |
| 133 | 13. | Funzioni di decisione (funzioni di Skolem) |
| 137 | 14. | Teorema di Löwenheim |
| 141 | IV. | Calcolo dei predicati |
| 141 | 1. | Formule del calcolo di predicati |
| 147 | 2. | Cambio alfabetico delle variabili in una formula |
| 148 | 3. | Assiomi del calcolo di predicati |
| 149 | 4. | Regole di formazione dell formul vere |
| 156 | 5. | Coerenza del calcolo dei predicati |
| 162 | 6. | Completezza in senso stretto |
| 164 | 7. | Alcuni teoremi dl calcolo dei predicati |
| 167 | 8. | Il teorma di deduzione |
| 170 | 9. | Altri teormi del calcolo dei predicati |
| 177 | 10. | Formule equivalenti |
| 181 | 11. | Il principio di dualità |
| 184 | 12. | Forme normali |
| 187 | 13. | Equivalenza deduttiva |
| 188 | 14. | Forme normali di Skolem |
| 193 | 15. | Dimostrazione del teorma di Skolem |
| 194 | 16. | Teorema di Maltsev |
| 200 | 17. | Il problema della completezza in senso ampio del calcolo di predicati |
| 201 | 18. | Osservazioni sulle formule del calcolo dei predicati che non contengono quantificatori |
| 203 | 19. | Il teorema di completezza di Gödel |
| 209 | 20. | Sistemi di assiomi nl calcolo dei predicati |
| 215 | V. | Aritmetica assiomatica |
| 215 | 1. | Termini. Calcolo dei prdicati allargato |
| 217 | 2. | Proprietà del predicato di uguaglianza delle funzioni soggettive |
| 220 | 3. | Relazioni di equivalenza |
| 222 | 4. | Teorema di deduzione |
| 223 | 5. | Gli assiomi dell'aritmetica |
| 225 | 6. | Esempi di formule deducibili |
| 228 | 7. | Termini ricorsivi |
| 230 | 8. | Aritmetica ristretta |
| 233 | 9. | Funzioni ricorsive |
| 235 | 10. | Deducibilità assiomatica e deducibilità non formale delle proprietà delle funzioni aritmetiche |
| 238 | 11. | I prdicati ricorsivi |
| 240 | 12. | Altri mtodi di formazione di prdicati ricorsivi: uantificatori limitati |
| 241 | 13. | Mtodi di formazione di nuovi termini ricorsivi |
| 245 | 14. | Alcuni predicati e termini numerici |
| 248 | 15. | Funzioni computabili |
| 252 | 16. | Alcuni teoremi dll'aritmetica assiomatica |
| 258 | VI. | Elementi di teoria della dimostrazione |
| 258 | 1. | Impostazione di problemi dlla coerenza e dell'indipendenza dgli assiomi |
| 260 | 2. | Fattori primi e addndi primi |
| 261 | 3. | Formul primitivamente vere |
| 263 | 4. | Le oprazioni 1, 2, 3 |
| 266 | 5. | Formule regolari |
| 273 | 6. | Alcuni lemmi sulll formul regolari |
| 284 | 7. | Le operazioni duali delle operazioni 1, 2, 3 |
| 285 | 8. | Proprietà dll operazioni 1*, 2*, 3* |
| 292 | 9. | Regolarità delle formule deducibili dell'aritmetica |
| 294 | 10. | Coerenza dell'aritmetica ristretta |
| 295 | 11. | Indipendenza dell'assioma di induzioe completa nell'aritmetica |
| 297 | 12. | Teoremi forte di indipendenza dell'assioma di induzione completa |
| 307 | | Indice dei simboli |
| 309 | | Indice analitico |
| 312 | | _ |
| 314 | | [collana.lista] |
| 316 | | [tipografia] |
| 316 | | ___ |