Differenze tra le versioni di "Logica intuizionista"

m
Bot: Sostituzione automatica (-\{\{[Dd]a[ _]aiutare[^|]*\|motivo=([^|]*)\|([^}]*) +{{A|\1||\2|)
m (Bot: Sostituzione automatica (-\{\{[Dd]a[ _]aiutare[^|]*\|motivo=([^|]*)\|([^}]*) +{{A|\1||\2|))
{{da aiutare meseA|motivo=tautologia priva di contenuti||maggio 2006|}}
La '''logica intuizionista''', o '''logica costruttiva''', è la logica dell'[[intuizionismo matematico]] e di altre forme di [[costruttivismo matematico]].
 
160 740

contributi