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