| 1 | | [exlibris] |
| 2 | | [collana] |
| 3 | | [frontespizio] |
| 4 | | [colophon] |
| 5 | | Indice |
| 7 | | Prefazione all'edizione italiana [ di Abraham Robinson ] |
| 8 | | Prefazione all'edizione originale [ di Abraham Robinson ] |
| | | {titolo} |
| 11 | 1. | Il calcolo dei predicati del primo ordine |
| | 1.1. | Introduzione generale |
| | 1.2. | Regole di formazione |
| | 1.3. | Regole di deduzione |
| | 1.4. | Interpretazione semantica |
| | 1.5. | La relazione fra concetti descrittivi e deduttivi |
| | 1.6. | Insiemi di enunciati e varietà |
| | 1.7. | Esercizi |
| 37 | 2. | Teorie algebriche |
| | 2.1. | Eguaglianza |
| | 2.2. | Alcuni sistemi assiomatici |
| | 2.3. | Insiemi di enunciati correlati |
| | 2.4. | Teoremi di immersione e principi di trasposizione |
| | 2.5. | La teoria delle catene normali di Mal'cev |
| | | Esercizi |
| 70 | 3. | Concetti e metodi della teoria dei modelli |
| | 3.1. | Funzioni di Skolem. Relativizzazione |
| | 3.2. | Estensioni di modelli |
| | 3.3. | Il problema del prefisso |
| | 3.4. | Estensioni elementari e ostruzioni |
| | 3.5. | Sistemi convessi |
| | 3.6. | Consistenza rispetto ai modelli |
| | 3.7. | Esercizi |
| 112 | 4. | Completezza |
| | 4.1. | Un criterio di completezza |
| | 4.2. | Completezza rispetto ai modelli |
| | 4.3. | m-Completezza relativa |
| | 4.4. | Esercizi |
| 139 | 5. | Definibilità |
| | 5.1. | Lemma di consistenza |
| | 5.2. | Teorema di Beth |
| | 5.3. | Definizioni relative |
| | 5.4. | Applicazione al Nullstellensatz |
| | 5.5. | Complezione rispetto ai modelli |
| | 5.6. | Esercizi |
| 168 | 6. | Generalizzazione di alcuni concetti algebrici |
| | 6.1. | Polinomi e sistemi assiomatici generali |
| | 6.2. | Predicati limitati |
| | 6.3. | Predicati algebrici |
| | 6.4. | Predicati algebrici e sistemi convessi |
| | 6.5. | Separabilità |
| | 6.6. | Esercizi |
| 205 | 7. | Teoria metamatematica degli ideali |
| | 7.1. | Introduzione |
| | 7.2. | Ideali metamatematici |
| | 7.3. | Rapporti fra ideali in domini diversi |
| | 7.4. | Ideali disgiuntivi |
| | 7.5. | Ideali e omomorfismi |
| | 7.6. | Esercizi |
| 228 | 8. | Teoria metamatematica delle varietà |
| | 8.1. | Varietà di strutture |
| | 8.2. | Pre-ideali e varietà corrispondenti |
| | 8.3. | Varietà metamatematiche e varietà algebriche |
| | 8.4. | Ideali differenziali |
| | 8.5. | Il diciassettesimo problema di Hilbert |
| | 8.6. | Esercizi |
| 267 | 9. | Argomenti scelti |
| | 9.1. | Introduzione di costanti funzionali |
| | 9.2. | L'eliminazione dei quantificatori |
| | 9.3. | Prodotti diretti e ultraprodotti |
| | 9.4. | Analisi non standard |
| | 9.5. | Teoria non standard delle funzioni di una variabil ereale |
| | 9.6. | Analisi non standard delle funzioni di più variabili |
| | 9.7. | Esercizi |
| 321 | | Bibliografia |
| 331 | | Indice analitico |
| 334 | | _ |
| 335 | | [tipografia] |
| 336 | | ___ |