| Scheda: 1/10 | |
|---|---|
| Livello bibliografico | Monografia |
| Tipo di materiale | Testo a stampa |
| Autore principale | Codenotti, Bruno [ scheda di autorità ] |
| Titolo | Archimede aveva un sacco di tempo libero : la teoria degli insiemi e il concetto di infinito / Bruno Codenotti, Claudia Flandoli |
| Pubblicazione | Milano : Sironi, 2016 |
| Descrizione fisica | 155 p. : ill. ; 23 cm. |
| Collezione | Galápagos ; 73 (ID Collana : UBO2194321) |
| Lingua di pubblicazione | ita |
| Paese di pubblicazione | it |
| ISBN | 9788851802707 |
| Titolo uniforme | Archimede aveva un sacco di tempo libero | Codenotti, Bruno |
| Classificazione Dewey | 511.3 - LOGICA SIMBOLICA (LOGICA MATEMATICA) (edizione 12) |
| Nomi | Codenotti, Bruno [
scheda di autorità
]
Flandoli, Claudia <1987- > |
| Identificativo record | RMS2761680 |
| Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
|---|---|---|---|---|---|
| Biblioteca del Liceo Classico G. Galilei | DEWEY12 511.3 CODEB | 000010715 IB | consultazione, prestito, fotoriproduzione | ||
| Biblioteca del Liceo Classico G. Galilei | DEWEY12 511.3 CODEB | 000010716 IB | consultazione, prestito, fotoriproduzione | ||
| Biblioteca del Liceo Classico G. Galilei | DEWEY12 511.3 CODEB | 000010717 IB | consultazione, prestito, fotoriproduzione | ||
| Biblioteca del Liceo Classico G. Galilei | DEWEY12 511.3 CODEB | 000010718 IB | consultazione, prestito, fotoriproduzione | ||
| Biblioteca del Liceo Classico G. Galilei | DEWEY12 511.3 CODEB | 000010719 IB | consultazione, prestito, fotoriproduzione | ||
| Biblioteca del Liceo Classico G. Galilei | DEWEY12 511.3 CODEB | 000010729 IB | consultazione, prestito, fotoriproduzione |
| Scheda: 2/10 | |
|---|---|
| Livello bibliografico | Monografia |
| Tipo di materiale | Testo a stampa |
| Autore principale | Moriconi, Enrico <1950- > [ scheda di autorità ] |
| Titolo | La teoria della dimostrazione di Hilbert / Enrico Moriconi |
| Pubblicazione | Napoli : Bibliopolis, \1987! (stampa 1988) |
| Descrizione fisica | 126 p. ; 23 cm |
| Collezione | Testi per lo studio della logica matematica ; 2 (ID Collana : CFI0105045) |
| Lingua di pubblicazione | ita |
| Paese di pubblicazione | it |
| ISBN | 8870881776 |
| Numero bibliografia nazionale | IT 89-8944 |
| Note | Data di copyr., erroneamente: 1887.
|
| Classificazione Dewey | 511.3 - LOGICA SIMBOLICA (LOGICA MATEMATICA) (edizione 19) |
| Nomi | [Autore] Moriconi, Enrico <1950- > [ scheda di autorità ] |
| Identificativo record | CFI0105042 |
| Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
|---|---|---|---|---|---|
| Biblioteca del Liceo Classico G. Galilei | DEWEY12 511.3 MORIE 1 | 000006930 IB | consultazione, prestito, fotoriproduzione |
| Scheda: 3/10 | |
|---|---|
| Livello bibliografico | Monografia |
| Tipo di materiale | Testo a stampa |
| Autore principale | Lolli, Gabriele [ scheda di autorità ] |
| Titolo | Capire una dimostrazione : il ruolo della logica nella matematica / Gabriele Lolli |
| Pubblicazione | Bologna : Il mulino, c1988 |
| Descrizione fisica | 209 p. ; 22 cm. |
| Collezione | Saggi ; 351 (ID Collana : CFI0000015) |
| Lingua di pubblicazione | ita |
| Paese di pubblicazione | it |
| ISBN | 8815019987 |
| Classificazione Dewey | 511.3 - LOGICA SIMBOLICA (LOGICA MATEMATICA) (edizione 20) |
| Nomi | [Autore] Lolli, Gabriele [ scheda di autorità ] |
| Identificativo record | RAV0038895 |
| Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
|---|---|---|---|---|---|
| Biblioteca del Liceo Classico G. Galilei | DEWEY12 511.3 LOLLG 1 | 000006926 IB | consultazione, prestito, fotoriproduzione |
| Scheda: 4/10 | |
|---|---|
| Livello bibliografico | Monografia |
| Tipo di materiale | Testo a stampa |
| Titolo | Il paradiso di Cantor : il dibattito sui fondamenti della teoria degli insiemi / Bernays ... [et al.] ; a cura di Carlo Cellucci |
| Pubblicazione | Napoli : Bibliopolis, c1978 (Farigliano : Milanostampa, stampa 1979) |
| Descrizione fisica | 203 p. ; 22 cm |
| Collezione | Archivio di logica e filosofia della matematica ; 2 (ID Collana : CFI0095596) |
| Lingua di pubblicazione | ita |
| Paese di pubblicazione | it |
| ISBN | 8870880133, (da rist. success.) |
| Numero bibliografia nazionale | IT 817828 |
| Titolo uniforme | Il paradiso di Cantor |
| Classificazione Dewey | 511.3 - LOGICA SIMBOLICA (LOGICA MATEMATICA) (edizione 12) |
| Nomi | [Curatore] Cellucci, Carlo [
scheda di autorità
]
[Autore] Bernays, Paul <1888-1977> [ scheda di autorità ] |
| Identificativo record | MIL0032336 |
| Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
|---|---|---|---|---|---|
| Biblioteca del Liceo Classico G. Galilei | DEWEY12 511.3 PARDC | 000001398 IB | consultazione, prestito, fotoriproduzione | ||
| Biblioteca universitaria | COLL. 737 2 | 000285400 | IL PARADiso | consultazione, prestito, fotoriproduzione Servizi |
| Scheda: 5/10 | |
|---|---|
| Livello bibliografico | Monografia |
| Tipo di materiale | Testo a stampa |
| Autore principale | Mazzacua, Giorgio |
| Titolo | Alle origini della logica matematica : un saggio introduttivo con confronti antologici da F. Enriques ...\et al.! / di Giorgio Mazzacua |
| Pubblicazione | Messina ; Firenze : D'Anna, 1973 |
| Descrizione fisica | 192 p. : ill. ; 21 cm |
| Collezione | Tangenti ; 19 (ID Collana : CFI0169087) |
| Lingua di pubblicazione | ita |
| Paese di pubblicazione | it |
| Numero bibliografia nazionale | IT 74-3131 |
| Classificazione Dewey | 511.3 - LOGICA SIMBOLICA (LOGICA MATEMATICA) (edizione 18) |
| Nomi | [Autore] Mazzacua, Giorgio |
| Identificativo record | RAV0196599 |
| Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
|---|---|---|---|---|---|
| Biblioteca del Liceo Classico G. Galilei | DEWEY12 511.3 MAZZG 1 | 000006940 IB | consultazione, prestito, fotoriproduzione |
| Scheda: 6/10 | |
|---|---|
| Livello bibliografico | Monografia |
| Tipo di materiale | Testo a stampa |
| Autore principale | Varga, Tamás |
| Titolo | Fondamenti di logica per insegnanti / Tamas Varga ; [traduzione di Ugo Volli] |
| Pubblicazione | Torino : Boringhieri, 1973 |
| Descrizione fisica | 194 p. ; 21 cm. |
| Collezione | Didattica (ID Collana : CFI0171569) |
| Lingua di pubblicazione | ita |
| Paese di pubblicazione | it |
| ISBN | 8833901963, (Rist. 1988) |
| Numero bibliografia nazionale | IT 74-320 |
| Forma letteraria | saggi |
| Titolo uniforme | Matematikai Logika. - | Varga, Tamás |
| Classificazione Dewey | 511.3 - LOGICA SIMBOLICA (LOGICA MATEMATICA) (edizione 20) |
| Nomi | [Autore] Varga, Tamás
[Traduttore] Volli, Ugo [ scheda di autorità ] |
| Identificativo record | RAV0138475 |
| Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
|---|---|---|---|---|---|
| Biblioteca dell'Istituto tecnico commerciale A. Pacinotti di Pisa | BIBLIOTECA511.3 VAR | 000018890 | consultazione e fotoriproduzione | ||
| Biblioteca del Liceo Classico G. Galilei | DEWEY12 511.3 VARGT 1 | 000006936 IB | consultazione, prestito, fotoriproduzione |
| Scheda: 7/10 | |
|---|---|
| Livello bibliografico | Monografia |
| Tipo di materiale | Testo a stampa |
| Autore principale | Berto, Francesco <1973- > [ scheda di autorità ] |
| Titolo | Tutti pazzi per Gödel! : la guida completa al teorema di incompletezza / Francesco Berto |
| Pubblicazione | Roma ; Bari : GLF editori Laterza, 2009 |
| Descrizione fisica | XV, 270 p. ; 21 cm. |
| Collezione | Economica Laterza ; 499 (ID Collana : TO00741782) |
| Lingua di pubblicazione | ita |
| Paese di pubblicazione | it |
| ISBN | 9788842089728 |
| Numero bibliografia nazionale | IT 2009-1615 |
| Soggetti | Gödel, Kurt (Soggettario di Firenze) |
| Classificazione Dewey | 511.3 - LOGICA SIMBOLICA (LOGICA MATEMATICA) (edizione 12) |
| Nomi | [Autore] Berto, Francesco <1973- > [ scheda di autorità ] |
| Identificativo record | PAL0218856 |
| Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
|---|---|---|---|---|---|
| Biblioteca del Liceo Classico G. Galilei | DEWEY12 511.3 BERTF Tut | 000003870 IB | consultazione, prestito, fotoriproduzione |
| Scheda: 8/10 | |
|---|---|
| Livello bibliografico | Monografia |
| Tipo di materiale | Testo a stampa |
| Autore principale | Johnson, Donovan A. |
| Titolo | Logica e ragionamento / di Donovan A. Johnson, William H. Glenn e M. Scott Norton |
| Pubblicazione | Bologna : Zanichelli, \1978! |
| Descrizione fisica | 80 p. ; 19 cm |
| Collezione | Matematica ; 18 (ID Collana : RAV0078123) |
| Lingua di pubblicazione | ita |
| Paese di pubblicazione | it |
| Numero bibliografia nazionale | IT 801390 |
| Titolo uniforme | Logic and Reasoning in Mathematics. - | Johnson, Donovan A. |
| Classificazione Dewey | 511.3 - LOGICA SIMBOLICA (LOGICA MATEMATICA) (edizione 18) |
| Nomi | [Autore] Johnson, Donovan A.
[Autore] Glenn, William H. [Autore] Norton, Monte Scott |
| Identificativo record | RAV0078019 |
| Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
|---|---|---|---|---|---|
| Biblioteca del Liceo Classico G. Galilei | DEWEY12 511.3 JOHNDA 1 | 000006896 IB | consultazione, prestito, fotoriproduzione |
| Scheda: 9/10 | |
|---|---|
| Livello bibliografico | Monografia |
| Tipo di materiale | Testo a stampa |
| Autore principale | Mugnai, Massimo [ scheda di autorità ] |
| Titolo | Leibniz e la logica simbolica / Massimo Mugnai |
| Pubblicazione | Firenze : Sansoni, 1973 |
| Descrizione fisica | 90 p. ; 18 cm |
| Collezione | Scuola aperta . Scienze umane (ID Collana : FOG0026635) Scuola aperta ; 8 (ID Collana : RAV0003144) |
| Lingua di pubblicazione | ita |
| Paese di pubblicazione | it |
| Numero bibliografia nazionale | IT 737817 |
| Note | Numerazione ricavata dai volumi successivi al 21., RAV0003144
|
| Titolo uniforme | Leibniz e la logica simbolica | Mugnai, Massimo |
| Classificazione Dewey | 193 - FILOSOFIA OCCIDENTALE MODERNA. GERMANIA E AUSTRIA (edizione 12) 511.3 - LOGICA SIMBOLICA (LOGICA MATEMATICA) (edizione 12) |
| Nomi | [Autore] Mugnai, Massimo [ scheda di autorità ] |
| Identificativo record | RLZ0200611 |
| Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
|---|---|---|---|---|---|
| Biblioteca dell'Istituto tecnico commerciale A. Pacinotti di Pisa | BIBLIOTECA511.3 MUG | 000019030 | consultazione e fotoriproduzione | ||
| Biblioteca dell'Istituto tecnico commerciale A. Pacinotti di Pisa | BIBLIOTECA511.3 MUG | 000019040 | consultazione e fotoriproduzione | ||
| Biblioteca del Liceo Classico G. Galilei | DEWEY12 193 MUGNM Lei | 000000848 IB | consultazione, prestito, fotoriproduzione |
| Scheda: 10/10 | |
|---|---|
| Livello bibliografico | Monografia |
| Tipo di materiale | Testo a stampa |
| Autore principale | Mangione, Corrado [ scheda di autorità ] |
| Titolo | Storia della logica : da Boole ai nostri giorni / Corrado Mangione, Silvio Bozzi |
| Descrizione fisica | Milano : Garzanti, 1993. -959 p. ; 23 cm |
| Collezione | Saggi blu (ID Collana : CFI0001047) |
| Lingua di pubblicazione | ita |
| Paese di pubblicazione | it |
| ISBN | 8811599660 |
| Soggetti | Logica matematica (Soggettario di Firenze) LOGICA - STORIA - SEC. 19.-20. (Soggettario di Firenze) |
| Classificazione Dewey | 160 - LOGICA (edizione 12) 511.3 - LOGICA SIMBOLICA (LOGICA MATEMATICA) (edizione 12) |
| Nomi | [Autore] Mangione, Corrado [
scheda di autorità
]
[Autore] Bozzi, Silvio [ scheda di autorità ] |
| Identificativo record | IEI0069840 |
| Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
|---|---|---|---|---|---|
| Biblioteca del Liceo Classico G. Galilei | DEWEY12 160 MANGC Sto | 000000738 IB | consultazione, prestito, fotoriproduzione |
Rimuovi da preferiti
Aggiungi a preferiti