Novità: Scacchi - una partita tra campioni scelta a caso
Enciclopedia
Heyting, Arend (Amsterdam 1898-Lugano 1980) Matematico e logico olandese. Ideò un'assiomatizzazione dei principi della logica intuizionista.
Blia.it NON utilizza cookie (v. informativa)
Per contattare la redazione di Blia.it potete scrivere a: info@blia.it
(attenzione, blia.it non ha nessun rapporto con banche, scuole o altri enti/aziende, i cui indirizzi sono visualizzati al solo scopo di rendere un servizio agli utenti del sito)
Per contattare la redazione di Blia.it potete scrivere a: info@blia.it
(attenzione, blia.it non ha nessun rapporto con banche, scuole o altri enti/aziende, i cui indirizzi sono visualizzati al solo scopo di rendere un servizio agli utenti del sito)