sebina, you, sebinayou, opac, catalogo, servizi, biblioteca, utente, BinP, Polo regionale del Veneto, Treviso, Belluno, Venezia

Storia della logica : da Boole ai nostri giorni

Mangione, Corrado

1993

Abstract

Dall'Ottocento a oggi, la logica formale è stata protagonista di una evoluzione di straordinaria ricchezza e complessità. Ponendosi alla confluenza fra filosofia e matematica, informatica e linguistica, ha indubbiamente condizionato il loro sviluppo; d'altro canto queste discipline hanno spesso cercato nella logica una adeguata formalizzazione arricchendola con le loro problematiche. [...]