Alfred Tarski è unanimemente ritenuto uno dei grandi della storia della logica matematica. I suoi contributi variano dalla teoria degli insiemi alla teoria dei modelli, dalla semantica dei linguaggi ai fondamenti della geometria, dall'algebra della logica alla logica dell'algebra. Il profilo cerca di darne resoconto adeguato.
Alfred Tarski
TOFFALORI, Carlo
2013-01-01
Abstract
Alfred Tarski è unanimemente ritenuto uno dei grandi della storia della logica matematica. I suoi contributi variano dalla teoria degli insiemi alla teoria dei modelli, dalla semantica dei linguaggi ai fondamenti della geometria, dall'algebra della logica alla logica dell'algebra. Il profilo cerca di darne resoconto adeguato.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
