Sistema Bibliotecario Provinciale di Rovigo
Informazioni Utili
Percorsi di lettura
Monografia moderna
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
Biblioteca
Collocazione
Serie
Inventario
Prestito
Biblioteca dell'Accademia dei Concordi di Rovigo
Conc. 511.3 NAGE
139855
Non ammesso al prestito
Descrizione: Turing, Alan. Intelligenza meccanica / Alan M. Turing ; a cura di Gabriele Lolli. - Torino : Bollati Boringhieri, 1994. 160 p. ; 20 cm. ( Universale Bollati Boringhieri. Serie scientifica ; 268 )
Codice record: TO00325775
Conc. 006.3 TURA
138664
Ammesso al prestito
Descrizione: Boltzmann, Ludwig. Modelli matematici, fisica e filosofia : scritti divulgativi / Ludwig Boltzmann ; a cura di Carlo Cercignani. - Torino : Bollati Boringhieri, c1999. 210 p. ; 20 cm. ( Universale Bollati Boringhieri ; 270 , Universale Bollati Boringhieri. Serie scientifica ; 270 )
Codice record: LO10500546
Conc. 530 BOLL
139917
Descrizione: Boole, George. L'analisi matematica della logica / George Boole ; seguita da Il calcolo logico ; introduzione di Massimo Mugnai. - Torino : Bollati Boringhieri, 1993. LVIII, 118 p. ; 20 cm. ( Universale Bollati Boringhieri. Serie scientifica ; 262 )
Codice record: CFI0250099
Conc. 511.324 BOOG
139854
