Differenze tra le versioni di "Logica intuizionista"

m
da aiutare
(cat)
m (da aiutare)
{{da aiutare|motivo=tautologia priva di contenuti}}
{{stub matematica}}
La '''logica intuizionista''', o '''logica costruttiva''', è la logica dell'[[intuizionismo matematico]] e di altre forme di [[costruttivismo matematico]].
 
11 479

contributi