Logica intuizionista: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Questo è uno stub. |
m Aggiunto link a versione inglese |
||
Riga 1:
[[en:Intuitionistic_logic]]
La '''logica intuizionista''', o '''logica costruttiva''', è la logica dell'[[intuizionismo matematico]] e di altre forme di [[costruttivismo matematico]].
|