Continuazione: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
|||
Riga 19:
La continuazione è strettamente collegata alla trasformazione della [[doppia negazione]] dalla [[logica classica]] alla [[logica intuizionistica]] attraverso l'[[isomorfismo di Curry-Howard]] e alla [[legge di Peirce]].
==
*[[GOTO]]
| |||