| 2 | | [collana.lista] |
| 3 | | [collana] |
| 4 | | [colophon] |
| 5 | | [frontespizio] |
1968.05;5545 | 7 | | Prefazione [ di Maria Luisa Dalla Chiara Scabia ] |
| | | {titolo} |
| 9 | | Introduzione |
| 27 | Parte prima. | Sintassi |
| 29 | | Premessa |
| 33 | Capitolo primo. | Sintassi intuitiva delle teorie elementari |
| 33 | 1. | I sistemi formali elementari |
| 40 | 2. | Cinque esempi di sistemi formali elementari |
| 44 | 3. | Proprietà fondamentali dei sistemi formali |
| 62 | Capitolo secondo. | Omomorfismi e isomorfismi teoretici |
| 66 | 1. | Traducibilità, interpretabilità e interpretabilità relativa di una teoria ℑ1 in una teoria ℑ2. Teorie isomorfe |
| 69 | 2. | Proprietà generali degli omomorfismi ed isomorfismi teoretici |
| 74 | 3. | Alcuni esempi |
| 78 | 4. | Modelli interni |
| 98 | 5. | Il semiordine teoretico |
| 104 | Capitolo terzo. | Formalizzazione della sintassi |
| 127 | Parte seconda. | Semantica |
| 129 | | Premessa |
| 133 | Capitolo quarto. | Semantica intuitiva e formalizzazione della semantica |
| 133 | 1. | Semantica intuitiva delle teorie elementari |
| 136 | 2. | Formalizzazione della semantica |
| 145 | 3. | Concetti e teoremi semantici fondamentali |
| 158 | 4. | Teorie semanticamente chiuse. Teorema di Tarski |
| 162 | Capitolo quinto. | Modelli semantici delle teorie elementari dei semiordini, dei gruppi, dei numeri naturali, dei numeri reali |
| 175 | Capitolo sesto. | Modelli semantici della teoria elementare degli insiemi |
| 176 | 1. | Modelli naturali e modelli costruibili. Il modello primo di ℨ𝔉 |
| 186 | 2. | Modelli generici |
| 209 | 3. | Il paradosso di Skolem e altre difficoltà della teoria elementare degli insiemi |
| 213 | | Conclusione |
| 225 | | Bibliografia |
| 231 | | Indice dei nomi e dei termini |
| 237 | | Indice dei simboli principali |
| 239 | | Indice |
| 239 | | _ |
| 240 | | [tipografia] |
| 240 | | ___ |