Enciclopedia

Tarski, Alfred (Varsavia 1902-Oakland 1983) Matematico e logico polacco. Ideò la sistematizzazione semantica della logica predicativa, la teoria dei modelli (in collaborazione con A. Mostowski) e contribuì anche alla teoria degli insiemi. 


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)