Calcolo dei sequenti LCp (PDF), su math.unipd.it, Università di Padova- Dipartimento di Matematica, 7. URL consultato il 17 novembre 2020 (archiviato il 17 novembre 2020).
web.archive.org
Calcolo dei sequenti LCp (PDF), su math.unipd.it, Università di Padova- Dipartimento di Matematica, 7. URL consultato il 17 novembre 2020 (archiviato il 17 novembre 2020).