74 497
contributi
Differenze tra le versioni di "Logica intuizionista"
nessun oggetto della modifica
|
{{stub}}▼
[[en:Intuitionistic_logic]]▼
La '''logica intuizionista''', o '''logica costruttiva''', è la logica dell'[[intuizionismo matematico]] e di altre forme di [[costruttivismo matematico]].
==Logica intuizionistica come calcolo formale e logico==
[[Categoria:Matematica]]
▲[[en:Intuitionistic_logic]]
▲{{stub}}
| |||