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. Questo percorso viene qui esposto per la prima volta nella sua completezza e organicità, cercando di chiarire anche al lettore non specialista i nessi fondamentali dell'evoluzione della logica matematica e i suoi rapporti con il resto del sapere.
Titolo e contributi: Storia della logica : da Boole ai nostri giorni / Corrado Mangione, Silvio Bozzi
Pubblicazione: Milano : Garzanti, 1993
Descrizione fisica: 959 p. : ill. ; 23 cm
ISBN: 8811599660
Data:1993
Lingua: Italiano (lingua del testo, colonna sonora, ecc.)
Paese: Italia
Sono presenti 4 copie, di cui 0 in prestito.
| Biblioteca | Collocazione | Inventario | Stato | Prestabilità | Rientra |
|---|---|---|---|---|---|
| Usmate Velate | 160.9 MANsto | 16M-14850 | Su scaffale | Disponibile | |
| Vimercate | Deposito 539 | 17M-53557 | In deposito | Disponibile | |
| Trezzo sull'Adda | 160.9 MAN | 27M-22691 | Su scaffale | Disponibile | |
| Melegnano | D 511 3 MAN | 133M-22762 | Su scaffale | Disponibile |
Ultime recensioni inserite
Nessuna recensione
Clicca sulla mappa dove vuoi posizionare il tag