| Scheda: 1/13 | |
|---|---|
| Livello bibliografico | Monografia |
| Tipo di materiale | Testo a stampa |
| Autore principale | Marletti, Carlo <1949- > [ scheda di autorità ] |
| Titolo | Argomenti di logica / Carlo Marletti, Enrico Moriconi, Mauro Mariani |
| Pubblicazione | Pisa : Plus - Pisa University Press, c2009 |
| Descrizione fisica | 531 p. ; 24 cm. |
| Collezione | Didattica e ricerca . Manuali (ID Collana : CFI0552261) |
| Lingua di pubblicazione | ita |
| Paese di pubblicazione | it |
| ISBN | 9788867410316, (c2012) 9788884926722 |
| Soggetti | Logica matematica (Soggettario di Firenze) |
| Nomi | [Autore] Marletti, Carlo <1949- > [
scheda di autorità
]
[Autore] Mariani, Mauro <1949- > [ scheda di autorità ] [Autore] Moriconi, Enrico <1950- > [ scheda di autorità ] |
| Forme varianti dei nomi | Mariani , Maruo -> Mariani, Mauro <1949- > |
| Identificativo record | RMS2315545 |
| Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
|---|---|---|---|---|---|
| Biblioteca universitaria | DEPOSITO A526 | 000833658 | Rist. 2012 | consultazione, prestito, fotoriproduzione Servizi | |
| Biblioteca universitaria | COLL. 1293 . 64 | 000827463 | consultazione, prestito, fotoriproduzione Servizi | ||
| Biblioteca universitaria | COLL. 1293 . 64 a (stampa 2010) | 000828503 | consultazione, prestito, fotoriproduzione Servizi |
| Scheda: 2/13 | |
|---|---|
| Livello bibliografico | Monografia |
| Tipo di materiale | Testo a stampa |
| Autore principale | Egidi, Rosaria [ scheda di autorità ] |
| Titolo | Studi di logica e filosofia della scienza / Rosaria Egidi |
| Pubblicazione | Roma : Bulzoni, 1971 |
| Descrizione fisica | 245 p. ; 22 cm. |
| Collezione | Biblioteca di cultura ; 20 (ID Collana : CFI0000156) |
| Lingua di pubblicazione | ita |
| Paese di pubblicazione | it |
| Numero bibliografia nazionale | IT 7139 |
| Soggetti | Logica matematica (Soggettario di Firenze) |
| Classificazione Dewey | 160 - LOGICA (edizione 12) |
| Nomi | [Autore] Egidi, Rosaria [ scheda di autorità ] |
| Identificativo record | PUV0009567 |
| Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
|---|---|---|---|---|---|
| Biblioteca del Liceo Classico G. Galilei | DEWEY12 160 EGIDR Stu | 000000886 IB | consultazione, prestito, fotoriproduzione |
| Scheda: 3/13 | |
|---|---|
| Livello bibliografico | Monografia |
| Tipo di materiale | Testo a stampa |
| Autore principale | Manca, Vincenzo <1949- > [ scheda di autorità ] |
| Titolo | Logica matematica / Vincenzo Manca |
| Pubblicazione | Pisa : Servizio editoriale universitario, 1999 |
| Descrizione fisica | 200 p. ; 30 cm |
| Lingua di pubblicazione | ita - eng |
| Paese di pubblicazione | it |
| Note | In testa al front.: Università degli studi di Pisa, Dipartimento di informatica.
|
| Soggetti | Logica matematica (Soggettario di Firenze) |
| Nomi | [Autore] Manca, Vincenzo <1949- > [ scheda di autorità ] |
| Identificativo record | PIS0001169 |
| Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
|---|---|---|---|---|---|
| Biblioteca universitaria | PUBBL.UNIVPisa 19.116 | 000802477 | LOGICA Matematica | consultazione, prestito, fotoriproduzione Servizi |
| Scheda: 4/13 | |
|---|---|
| Livello bibliografico | Monografia |
| Tipo di materiale | Testo a stampa |
| Autore principale | Frola, Eugenio [ scheda di autorità ] |
| Titolo | Scritti metodologici / di Eugenio Frola ; introduzione di Ludovico Geymonat |
| Pubblicazione | Torino : Giappichelli, stampa 1964 |
| Descrizione fisica | 121 p. : 1 ritr. ; 24 cm |
| Lingua di pubblicazione | ita |
| Paese di pubblicazione | it |
| Numero bibliografia nazionale | IT 641248 |
| Note | In testa al front.: Centro di studi metodologici di Torino
Contiene bibliografia degli scritti dell'A. |
| Soggetti | Logica matematica (Soggettario di Firenze) |
| Nomi | [Autore] Frola, Eugenio [
scheda di autorità
]
[Autore dell'introduzione] Geymonat, Ludovico [ scheda di autorità ] |
| Identificativo record | SBL0142622 |
| Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
|---|---|---|---|---|---|
| Biblioteca universitaria | MACCAGNI a 104 | 000490263 | consultazione, prestito, fotoriproduzione Servizi |
| Scheda: 5/13 | |
|---|---|
| Livello bibliografico | Monografia |
| Tipo di materiale | Testo a stampa |
| Autore principale | Burali-Forti, Cesare |
| Titolo | Logica matematica / Cesare Burali-Forti ; a cura e con una introduzione di Gabriele Lolli |
| Pubblicazione | Pisa : Edizioni della Normale, 2012 |
| Descrizione fisica | LXIII, 373 p. ; 24 cm |
| Collezione | Mathematica ; 4 (ID Collana : PIS0036631) |
| Lingua di pubblicazione | ita |
| Paese di pubblicazione | it |
| ISBN | 9788876423918 |
| Note | In copertina: Centro di ricerca matematica Ennio De Giorgi
Contiene i testi delle edizioni: Milano : Hoepli, 1894 e 1919 |
| Soggetti | Logica matematica (Soggettario di Firenze) |
| Nomi | [Autore] Burali-Forti, Cesare
Lolli, Gabriele [ scheda di autorità ] |
| Identificativo record | PIS0041782 |
| Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
|---|---|---|---|---|---|
| Biblioteca universitaria | DUPL. B 616 | 000833405 | consultazione, prestito, fotoriproduzione Servizi | ||
| Biblioteca universitaria | DEPOSITO A397 | 000833398 | consultazione, prestito, fotoriproduzione Servizi |
| Scheda: 6/13 | |
|---|---|
| Livello bibliografico | Monografia |
| Tipo di materiale | Testo a stampa |
| Autore principale | Manca, Vincenzo <1949- > [ scheda di autorità ] |
| Titolo | Logica matematica : strutture, rappresentazioni, deduzioni / Vincenzo Manca |
| Pubblicazione | Pisa : Servizio editoriale universitario, 2000 |
| Descrizione fisica | 132 p. ; 25 cm |
| Lingua di pubblicazione | ita |
| Paese di pubblicazione | it |
| Note | In testa al front.: Università degli studi di Pisa, Dipartimento di informatica.
|
| Soggetti | Logica matematica (Soggettario di Firenze) |
| Nomi | [Autore] Manca, Vincenzo <1949- > [ scheda di autorità ] |
| Identificativo record | CFI0512621 |
| Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
|---|---|---|---|---|---|
| Biblioteca universitaria | PUBBL.UNIVPisa 19.130 | 000806379 | LOGICA Matematica | consultazione, prestito, fotoriproduzione Servizi |
| Scheda: 7/13 | |
|---|---|
| Livello bibliografico | Monografia |
| Tipo di materiale | Testo a stampa |
| Autore principale | Bellotti, Luca <1969- > [ scheda di autorità ] |
| Titolo | Computabilita : lambda-definibilita, ricorsivita, indecidibilita / Luca Bellotti, Enrico Moriconi, Laura Tesconi |
| Pubblicazione | Roma : Carocci, 2001 |
| Descrizione fisica | 273 p. ; 22 cm. |
| Lingua di pubblicazione | ita |
| Paese di pubblicazione | it |
| ISBN | 8843019589 |
| Soggetti | Filosofia e logica matematica (Soggettario di Firenze) |
| Nomi | [Autore] Bellotti, Luca <1969- > [
scheda di autorità
]
[Autore] Moriconi, Enrico <1950- > [ scheda di autorità ] [Autore] Tesconi, Laura [ scheda di autorità ] |
| Identificativo record | TSA0325226 |
| Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
|---|---|---|---|---|---|
| Biblioteca universitaria | NUM. 321360 | 000809013 | COMPUTABilita" | consultazione, prestito, fotoriproduzione Servizi |
| Scheda: 8/13 | |
|---|---|
| Livello bibliografico | Monografia |
| Tipo di materiale | Testo a stampa |
| Autore principale | Wittgenstein, Ludwig [ scheda di autorità ] |
| Titolo | Lezioni di Wittgenstein sui fondamenti della matematica : Cambridge 1939 / a cura di Cora Diamond ; dagli appunti di R. G. Bosanquet ... [et al.] |
| Pubblicazione | Torino : Boringhieri, 2002 |
| Descrizione fisica | 314 p. : ill. ; 20 cm |
| Collezione | Universale Bollati Boringhieri ; 274 (ID Collana : CFI0215034) |
| Lingua di pubblicazione | ita |
| Paese di pubblicazione | it |
| ISBN | 8833913813 |
| Note | Traduzione di Eva Picardi
tit. della cop.: Lezioni sui fondamenti della matematica., MOD1409390 |
| Titolo uniforme | Wittgensteinʼs lectures on the foundations of mathematics | Wittgenstein, Ludwig |
| Altri titoli | Lezioni sui fondamenti della matematica. |
| Soggetti | Logica matematica (Soggettario di Firenze) Matematica - Teorie (Soggettario di Firenze) |
| Nomi | [Autore] Wittgenstein, Ludwig [
scheda di autorità
]
Diamond, Cora [ scheda di autorità ] Bosanquet, R. G. [ scheda di autorità ] |
| Identificativo record | NAP0270835 |
| Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
|---|---|---|---|---|---|
| Biblioteca universitaria | COLL. 711 274 | 000323731 | consultazione, prestito, fotoriproduzione Servizi |
| Scheda: 9/13 | |
|---|---|
| Livello bibliografico | Monografia |
| Tipo di materiale | Testo a stampa |
| Autore principale | Corsini, Paolo <1944- > [ scheda di autorità ] |
| Titolo | Circuiti logici per le operazioni sui numeri naturali e sui numeri interi / Paolo Corsini |
| Edizione | Nuova ed |
| Pubblicazione | Pisa : ETS, 2012 |
| Descrizione fisica | 41 p. ; 30 cm |
| Lingua di pubblicazione | ita |
| Paese di pubblicazione | it |
| ISBN | 9788846733979 |
| Note | In testa al frontespizio: Universita di Pisa. Dipartimento di ingegneria dell'informazione.
|
| Soggetti | Logica matematica (Soggettario di Firenze) Circuiti logici (Soggettario di Firenze) |
| Nomi | [Autore] Corsini, Paolo <1944- > [ scheda di autorità ] |
| Identificativo record | LO11456864 |
| Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
|---|---|---|---|---|---|
| Biblioteca universitaria | DEPOSITO M22 | 000832787 | consultazione, prestito, fotoriproduzione Servizi |
| Scheda: 10/13 | |
|---|---|
| Livello bibliografico | Monografia |
| Tipo di materiale | Testo a stampa |
| Autore principale | Bocheński, Joseph M. [ scheda di autorità ] |
| Titolo | La logica formale / Joseph M. Bocheński ; edizione italiana a cura di Alberto Conte |
| Pubblicazione | Torino : Einaudi, [1972] |
| Descrizione fisica | 2 volumi (XXVI, 754, XI p.) ; 22 cm. |
| Collezione | Nuova biblioteca scientifica Einaudi ; 40 (ID Collana : CFI0011662) |
| Lingua di pubblicazione | ita |
| Paese di pubblicazione | it |
| Comprende | 1: Dai presocratici a Leibniz / Joseph M. Bochenski ; edizione italiana a cura di Alberto Conte
2: La logica matematica / Joseph M. Bochenski ; edizione italiana a cura di Alberto Conte |
| Titolo uniforme | Formale Logik | Bocheński, Joseph M. |
| Soggetti | Logica matematica (Soggettario di Firenze) Epistemologia (Soggettario di Firenze) Filosofia della scienza (Soggettario di Firenze) |
| Nomi | [Autore] Bocheński, Joseph M. [
scheda di autorità
]
Conte, Alberto <1942- > [ scheda di autorità ] |
| Forme varianti dei nomi | Bochenski , Joseph -> Bocheński, Joseph M. Bocheński , Innocent Marie -> Bocheński, Joseph M. Bocheński , Iosef M. -> Bocheński, Joseph M. Bocheński , Ioseph-Maria -> Bocheński, Joseph M. Bocheński , Innocenty Maria -> Bocheński, Joseph M. Bochenski , J. M. -> Bocheński, Joseph M. Bochenski , I. M. -> Bocheński, Joseph M. Bocheński , Józef Maria -> Bocheński, Joseph M. |
| Identificativo record | UM10057550 |
| Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
|---|---|---|---|---|---|
| Biblioteca dell'Istituto Lama Tzong Khapa | 04. 10 BOC JO 02* | ||||
| Biblioteca dell'Istituto Lama Tzong Khapa | 04. 10 BOC JO 01* |
| Scheda: 11/13 | |
|---|---|
| Livello bibliografico | Monografia |
| Tipo di materiale | Testo a stampa |
| Autore principale | International Congress of logic methodology and philosophy of science <10. ; 1995 ; Firenze> [ scheda di autorità ] |
| Titolo | Logic and foundations of mathematics : selected contributed papers of the tenth International Congress of logic, methodology and philosophy of science, Florence, august 1995 / edited by Andrea Cantini, Ettore Casari, Pierluigi Minari |
| Pubblicazione | Dordrecht etc.! : Kluwer, 1999 |
| Descrizione fisica | VIII, 282 p. ; 25 cm. |
| Collezione | Synthese library ; 280 (ID Collana : MIL0089915) |
| Lingua di pubblicazione | eng |
| Paese di pubblicazione | nl |
| ISBN | 0792356594 |
| Soggetti | Congressi - Firenze - 1995 (Soggettario di Firenze) Logica matematica - Congressi - 1995 (Soggettario di Firenze) |
| Nomi | Cantini, Andrea <1951- > [
scheda di autorità
]
Casari, Ettore <1933-2019> [ scheda di autorità ] Minari, Pier Luigi [ scheda di autorità ] [Autore] International Congress of logic methodology and philosophy of science <10. ; 1995 ; Firenze> [ scheda di autorità ] |
| Identificativo record | UFI0330074 |
| Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
|---|---|---|---|---|---|
| Biblioteca universitaria | CONT. 178 10 | 000807045 | LOGIC ANd | consultazione, prestito, fotoriproduzione Servizi |
| Scheda: 12/13 | |
|---|---|
| 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 |
| Scheda: 13/13 | |
|---|---|
| Livello bibliografico | Monografia |
| Tipo di materiale | Testo a stampa |
| Autore principale | Hofstadter, Douglas R. [ scheda di autorità ] |
| Titolo | Gödel, Escher, Bach : un'eterna ghirlanda brillante : una fuga metaforica su menti e macchine nello spirito di Lewis Carroll / Douglas R. Hofstadter |
| Pubblicazione | Milano : Adelphi, 1984 |
| Descrizione fisica | XXVII, 852 p. : ill. ; 24 cm |
| Collezione | Biblioteca scientifica ; 6 (ID Collana : CFI0051536) |
| Lingua di pubblicazione | ita |
| Paese di pubblicazione | it |
| Note | Ed. a cura di Giuseppe Trautteur ; trad. di Barbara Veit ... [et al.].
|
| Titolo uniforme | Gödel, Escher, Bach. - | Hofstadter, Douglas R. |
| Soggetti | Logica matematica (Soggettario di Firenze) Intelligenza artificiale (Soggettario di Firenze) Bach, Johann Sebastian (Soggettario di Firenze) Gödel, Kurt (Soggettario di Firenze) Escher, Maurits Cornelis (Soggettario di Firenze) |
| Nomi | [Autore] Hofstadter, Douglas R. [
scheda di autorità
]
[Curatore] Trautteur, Giuseppe [ scheda di autorità ] Carroll, Lewis [ scheda di autorità ] [Traduttore] Veit, Barbara |
| Forme varianti dei nomi | Hofstadter , Douglas -> Hofstadter, Douglas R. Dodgson , Charles Lutwidge -> Carroll, Lewis |
| Identificativo record | MIL0010988 |
| Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
|---|---|---|---|---|---|
| Biblioteca universitaria | DONO Ferrucci Luschi a 1089 | 000825624 | consultazione, prestito, fotoriproduzione Servizi | ||
| Biblioteca universitaria | COLL. 659 6 | 000295383 | GODEL, Escher | consultazione, prestito, fotoriproduzione Servizi |
Rimuovi da preferiti
Aggiungi a preferiti