Post #1680 5.96K Nov 8, 2021, 13:03 UTC Deduzione naturale logica proposizionalehttps://youtu.be/GJqic9oDtWU