Differenze tra le versioni di "Logica intuizionista"

Aggiunto indice (ripreso da voce inglese)
m (Aggiunto link a versione inglese)
(Aggiunto indice (ripreso da voce inglese))
 
La '''logica intuizionista''', o '''logica costruttiva''', è la logica dell'[[intuizionismo matematico]] e di altre forme di [[costruttivismo matematico]].
 
==Logica intuizionistica come paradigma del ragionamento logico==
 
==Logica intuizionistica come calcolo formale e logico==
 
 
 
{{msg:stub}}
1 231

contributi