Francesco Speranza
MATEMATICA PER GLI INSEGNANTI DI MATEMATICA
Bologna, Zanichelli, 1983
Cap. 5 La Logica (121-132)
p. 121           5.1. Lo scopo della logica
p. 122           5.2. La logica degli enunciati; i valori di verità
p. 125           5.3 Equiveridicità di espressioni.
                            Tautologie.
                            Basi di connettivi
p. 126           5.4. Il linguaggio delle espressioni: la morfologia
p. 129           5.5. Altre scritture
p. 129           5.6. La sintassi della logica degli enunciati
p. 131           5.7. Le variabili argomentali e la quantificazione