Sistema Bibliotecario Provinciale di Rovigo
Informazioni
Monografia moderna
Descrizione: Lolli, Gabriele. La macchina e le dimostrazioni : matematica, logica e informatica / Gabriele Lolli. - Bologna : Il mulino, [1987]. 155 p. ; 22 cm.. ( Saggi ; 311 )
Codice record: CFI0109309
Biblioteca
Collocazione
Serie
Inventario
Prestito
Biblioteca scolastica dell'Istituto di Istruzione Superiore Polo Tecnico di Adria
511 LOL
6264
Ammesso al prestito
Descrizione: Dubouquet, Amélie. Cento problemi di Pollicino : Letture di aritmetica con problemi da risolvere e da ricostruire. - Roma : A. Armando, 1971. ?46? c. : ill. ; 28 c.
Codice record: SBL0436417
Biblioteca comunale di Occhiobello
RAG 372.7 DUB 01
11742
Descrizione: Zwirner, Giuseppe. Aritmetica razionale : per gli istituti magistrali. - Padova : CEDAM, 1970. IX, 191 p. : ill. ; 25 cm ..
Codice record: SBL0375842
Biblioteca del Seminario Vescovile 'S. Pio X'
GEN.IV.A 0389
32631
Descrizione: Hofstadter, Douglas R.. Gödel, Escher, Bach : un'eterna ghirlanda brillante : una fuga metaforica su menti e macchine nello spirito di Lewis Carroll / Douglas R. Hofstadter. - Milano : Adelphi, 1986. - 4. ed. XXVII, 852 p. : ill. : 24 cm. ( Biblioteca scientifica )
Codice record: TPS0005416
Biblioteca comunale di Adria
001.53 HOF 01
11953
Descrizione: Lolli, Gabriele. Da Euclide a Godel / Gabriele Lolli. - Bologna : Il mulino, [2004]. 189 p. ; 22 cm.. ( Saggi ; 621 )
Codice record: RAV1248679
Descrizione: Silov, Georgij Evgen& 039;eviC. Come costruire i grafici / di G. E. Shilov. Problemi elementari di massimo e di minimo / di I. P. Natanson. - Milano : Progresso tecnico editoriale, stampa 1965. 67 p. ; 19 cm. ( Argomenti di matematica )
Codice record: UBO0131621
Biblioteca dell'Accademia dei Concordi di Rovigo
Conc. 511.66 SILG
140303
Non ammesso al prestito
Descrizione: Israel, Giorgio. La visione matematica della realtà : introduzione ai temi e alla storia della modellistica matematica / Giorgio Israel. - Roma, [etc.] : Laterza, 1996. XIV, 371 p. ; 21 cm. ( Biblioteca di cultura moderna ; 1108 )
Codice record: RAV0278799
Conc. 511.8 ISRG
139542
Descrizione: Johnson, Donovan A.. Logica e ragionamento / di Donovan A. Johnson, William H. Glenn e M. Scott Norton. - Bologna : Zanichelli, [1978]. 80 p. ; 19 cm. ( Matematica ; 18 )
Codice record: RAV0078019
Biblioteca comunale di Stienta "Leonino Vinicio Gabaldi"
SP181
5015
Descrizione: Frege, Gottlob. Aritmetica e logica / Gottlob Frege ; traduzione e note [di] L. Geymonat. - Torino : G. Einaudi, 1948. 269 p. ; 22 cm.. ( Biblioteca di cultura scientifica ; 18 )
Codice record: CUB0289055
COLL.SCI.IV.18 0018
65781
Genere: Letteratura per ragazzi
Descrizione: Géhin, Elisa. Tutti insieme / Elisa Gehin. - Milano : Il Castoro, 2017. 34 p. : in gran parte ill. ; 30 cm.
Codice record: MOD1674712
40827
Descrizione: Lemmon, Edward John. Elementi di logica : con gli esercizi risolti / E. J. Lemmon. - Roma [ecc.] : Laterza, 1986. XI, 296 p. ; 21 cm. ( Biblioteca universale Laterza ; 182 )
Codice record: CFI0060357
Conc. 511.3 LEME
138682
Descrizione: Malatesta, Michele. 1: Introduzione ; la logica degli enunciati / Michele Malatesta. - Napoli : Libreria L'Ateneo, 1976. 170 p. ; 22 cm.
Fa parte di: Logistica
Codice record: NAP0057653
RIGO.IV.E 1099 001
84055
Descrizione: Lolli, Gabriele. Introduzione alla logica formale / Gabriele Lolli. - Bologna : Il mulino, [1991]. 333 p. ; 25 cm. ( Strumenti. Filosofia )
Codice record: RAV0141394
Conc. 511.3 LOLG
139130
Descrizione: Lolli, Gabriele. I teoremi di incompletezza / Gabriele Lolli. - Bologna : Il mulino, 2019. 153 p. : ill. ; 18 cm.. ( Formule per leggere il mondo )
Codice record: UBO4383038
511.3 LOLG tei
41041
Descrizione: Malatesta, Michele. Logistica / Michele Malatesta. - Napoli : Libreria L'Ateneo. v. ; 22 cm.
Codice record: NAP0057644
Descrizione: Malvaldi, Marco. Le due teste del tiranno : metodi matematici per la libertà / Marco Malvaldi. - Milano : Rizzoli, 2017. 251 p. ; 22 cm..
Codice record: TO10019313
511.3 MAL
37025
Biblioteca comunale di Porto Tolle
23561
Descrizione: Gödel, Kurt. La prova matematica dell'esistenza di Dio / Kurt Gödel ; a cura di Gabriele Lolli e Piergiorgio Odifreddi. - Torino : Bollati Boringhieri, 2006. 123 p. ; 18 cm.. ( Incipit ; 3 )
Codice record: RAV1449417
Conc. 511.3 GODK
140239
Descrizione: Rittaud, Benoît. Le meraviglie dell'aritmetica / Benoit Rittaud ; illustrato da Sylvain Lepithec. - Bari : Dedalo, 2015. 57 p. : ill. ; 20 cm. ( Piccola biblioteca di scienza ; 40 )
Codice record: BA10103214
Biblioteca dell'Accademia dei Concordi di Rovigo / Sezione Ragazzi - Multispazio
R1 511.3 RIT
10497
Descrizione: Rogers, Robert. Logica matematica e teorie formalizzate : un quadro generale dei concetti e dei risultati fondamentali / Robert Rogers. - Milano : Feltrinelli, 1978. 216 p. ; 21 cm. ( Sc/10. Manuali ; 2 )
Codice record: SBL0241368
Conc. 511.3 ROGR
138663
Descrizione: Pasquinelli, Alberto. Introduzione alla logica simbolica / Alberto Pasquinelli ; pref. di Ludovico Geymonat. - Torino : Einaudi, 1957. X, 118 p. ; 22 cm.. ( Biblioteca di cultura scientifica ; 52 )
Codice record: MIL0094322
Conc. 511.3 PASA
139373
Descrizione: Nagel, Ernest. La prova di Gödel / Ernest Nagel e James R. Newman ; con un saggio di Jean-Yves Girard. - Torino : Bollati Boringhieri, 1992. - 2. ed. accresciuta. 136 p. ; 20 cm. ( Universale Bollati Boringhieri. Serie scientifica ; 102 )
Codice record: RAV0186758
Conc. 511.3 NAGE
139855
Descrizione: Odifreddi, Piergiorgio. Il Dio della logica : vita geniale di Kurt Gödel, matematico della filosofia / di Piergiorgio Odifreddi. - Milano : Longanesi, 2018. 304 p., [4] carte di tav. : ill. ; 21 cm. ( Il cammeo ; 600 )
Codice record: LO11724776
511.3092 ODI
38120
Biblioteca comunale di Badia Polesine "Gian Girolamo Bronziero"
511.309 ODI
25946
Biblioteca comunale di Castelmassa
34057
Descrizione: Marruccelli, Aldo. Teorie formalizzate e logica matematica / Aldo Marruccelli - Roma : Studium, 1975. VII, 174 p. ; 21 cm .. ( La cultura ; 7 )
Codice record: SBL0167800
RIGO.IV.E 0560
78064
Conc. 511.3 MARA
138726
Descrizione: Cavagnetto, Stefano. Esercizi di logica / Stefano Cavagnetto. - Roma : Carocci, 2008. 144 p. ; 20 cm.. ( Le bussole ; 323 )
Codice record: LO11202074
511.3 CAV
32407
