Logica matematica/Calcolo delle proposizioni/La deduzione naturale: differenze tra le versioni