Differenze tra le versioni di "Logica intuizionista"

m
Aggiunto link a versione inglese
(Questo è uno stub.)
 
m (Aggiunto link a versione inglese)
[[en:Intuitionistic_logic]]
 
La '''logica intuizionista''', o '''logica costruttiva''', è la logica dell'[[intuizionismo matematico]] e di altre forme di [[costruttivismo matematico]].
 
1 231

contributi