Differenze tra le versioni di "Continuazione"

m
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]].
 
==VediVoci anchecorrelate==
 
*[[GOTO]]
41 638

contributi