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}}
74 497

contributi