Differenze tra le versioni di "Logica intuizionista"

m
segnalazione stub
m (segnalazione stub)
{{stub}}
La '''logica intuizionista''', o '''logica costruttiva''', è la logica dell'[[intuizionismo matematico]] e di altre forme di [[costruttivismo matematico]].
 
73

contributi