Aldo Marruccelli
TEORIE FORMALIZZATE E LOGICA MATEMATICA
Roma, Studium, 1975 (IX + 174)
p.     V           Indice
p.   IX           Avvertenza
p.     1           I. Teorie deduttive, logica e matematica
p.   31           II. Le teorie formalizzate
p.   51           III. Logica degli enunciati
p.   65           IV. Teorie elementari
p.   95           V. Proprietà delle teorie elementari
p. 117           VI. La formalizzazione dell'aritmetica
p. 131           VII. La formalizzazione della sintassi
p. 143           VIII. Le limitazioni inerenti alle teorie formalizzate
p. 161           Bibliografia
p. 167           Indice dei simboli principali
p. 171           Indice analitico

NB - Indice dettagliato in l-marr2.