| 1 | | [collana] |
| 2 | | [editore] |
| 3 | | [frontespizio] |
| 4 | | [copyright] |
| 5 | | Indice |
| 7 | | Prefazione |
| 11 | I. | Logica matematica, simbolica, formale |
| 29 | II. | Linguaggi predicativi |
| 43 | III. | Dimostrazioni |
| 49 | IV. | Calcolo della deduzione naturale |
| 61 | V. | Logica proposizionale |
| 79 | VI. | Calcolo della deduzione naturale (continua) |
| 87 | VII. | Interpretazioni |
| 99 | VIII. | Il teorema di completezza |
| 111 | IX. | Una logica polivalente |
| 125 | X. | Tavole semantiche |
| 137 | XI. | Tavole semantiche (continua) |
| 149 | XII. | Casi di decidibilità |
| 155 | XIII. | Teorema di Skolem - Herbrand |
| 163 | XIV. | Calcolo della risoluzione |
| 173 | XV. | Raffinamenti della risoluzione |
| 191 | XVI. | Unificazione e risoluzione con variabili |
| 207 | XVII. | Introduzione alla programmazione logica |
| 217 | XVIII. | Linguaggi con uguaglianza |
| 229 | XIX. | Calcolo delle equazioni |
| 251 | XX. | Indecidibilità della logica dei predicati |
| 259 | XXI. | Aritmetica |
| 279 | XXII. | Introduzione alla metateoria |
| 295 | | Appendici |
| 297 | I. | Introduzione alla correttezza dei programmi |
| 311 | II. | Logiche non classiche |
| 327 | | Indice analitico |
| 333 | | _ |
| 334 | | [tipografia] |
| 336 | | ___ |
