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 |
|---|---|---|---|---|---|
| Mozzate | 100 Filosofia 160MAN | MT-12356 | Su scaffale | Disponibile | |
| Olgiate Comasco | 500-549 Scienze naturali, scienze pure F N 307 | OC-22589 | Su scaffale | Disponibile | |
| Casnate con Bernate | 500-549 Scienze naturali, scienze pure 511.309 MAN | CS-14801 | Su scaffale | Disponibile | |
| Cantù | Saggistica adulti KA - 27 | CA-53714 | Su scaffale | Disponibile |