Differenze tra le versioni di "Logica intuizionista"

m
→‎Collegamenti esterni: Bot: +controllo di autorità
m (→‎Collegamenti esterni: Bot: +controllo di autorità)
*{{SEP|logic-intuitionistic|Intuitionistic Logic}}
 
{{Controllo di autorità}}
{{Portale|filosofia|matematica}}
 
329 744

contributi