Logica matematica/Calcolo delle proposizioni/Sistema di Hilbert: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Germanomosconi1 ha spostato la pagina Logica/Calcolo delle proposizioni/Sistema di Hilbert a Logica Matematica/Calcolo delle proposizioni/Sistema di Hilbert |
Nessun oggetto della modifica |
||
Riga 484:
{{avanzamento|100%}}
[[Categoria:Logica Matematica|Sistema di Hilbert]]
| |||