Ordina per:
Risultati: 1-4 su 4

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

Monografia moderna

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

Monografia moderna

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

Monografia moderna

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