Versione delle 17:58, 23 apr 2018 modifica Horcrux (discussione \| contributi) Amministratori dell'interfaccia, Amministratori 162 134 modifiche -Categoria:Logica; +Categoria:Logica nell'informatica; +Categoria:Logica non classica usando HotCat ← Differenza precedente		Versione delle 16:16, 26 apr 2019 modifica annulla Omega Bot (discussione \| contributi) Bot 583 368 modifiche m Bot: orfanizzo template:Avvisounicode come da discussione Differenza successiva →
Riga 1: ~~{{Avvisounicode}}~~ La '''logica intuizionista''' (o '''intuizionistica'''), o '''logica costruttiva''', è la logica dell'[[intuizionismo matematico]] e di altre forme di [[costruttivismo matematico]].

Logica intuizionista: differenze tra le versioni