Da Mathematical Logic di W.V.O Quine, 1958
Da Introduction to Logic di L.T.F.Gamut, 1991
Interpretazioni e valutazioni
Sul sillogismo di P. Minari
Tavole di Beth di P. Minari
facoltativo in sostituzione delle pagine 187-244 di Corso di Logica di Palladino.
Tautologie e formule valide notevoli
(a cura di V. Armenise)
Esempi di formalizzazione