Catalogo Collettivo Provinciale di Prato |

• en
• de
• es
• fr
• it

Catalogo Collettivo Provinciale di Prato

MediaLibraryOnLine

Risultati ricerca

Seleziona uno o più documenti

 

1/5  

9 lezioni di logica : la logica nel suo sviluppo storico e concettuale / Ballo ... [et al.]. - Padova : Muzzio, 1990. - IX, 194 p. ; 21 cm. - (Muzzio scienze ; 7)
Classificazione: 160 [D] [D]

Archivio storico diocesano: CIA.587

2/5  

L' eredità di Alan Turing : 50 anni di intelligenza artificiale / Edoardo Ballo ... [et al.! ; a cura di Massimiliano Lorenzo Cappuccio. - Milano : Albo versorio, 2005. - 270 p. ; 21 cm. - (Netica - 2) (Netica ; 2)
Classificazione: 510.92

Biblioteca comunale Lazzerini: GTP 510.92.TUR C ERE

3/5  

Gödel, Kurt . Opere / Kurt Gödel ; a cura di Solomon Feferman, con la collaborazione di John W. Dawson jr. ... [et al.] ; edizione italiana a cura di Edoardo Ballo ... [et al.]. - Torino : Bollati Boringhieri. - volumi ; 24 cm
Classificazione: 511.3 [D] [D]

4/5  

Hermes, Hans . Enumerabilita, decidibilita, computabilita : introduzione alla teoria delle funzioni ricorsive / Hans Hermes. - Torino : Boringhieri, 1975. - 318 p. ; 21 cm. - (Testi e manuali della scienza contemporanea. Serie di logica matematica)
Classificazione: 511.8 [CDD] | 511.8 [D] [D]

Biblioteca comunale Lazzerini: PD 22645

5/5  

Tarski, Alfred . Introduzione alla logica e alla metodologia delle scienze deduttive / Alfred Tarski. - Milano : Bompiani, 1969. - 302 p. ; 22 cm. - (Idee nuove ; 51)
Classificazione: 511.3 [CDD] | 164 [D] [D]

Biblioteca comunale Lazzerini: PD 8495

 

Seleziona uno o più documenti

 

Catalogo Collettivo Provinciale di Prato - Ultimo aggiornamento: 11-05-2024 23:17:25 - Schede in OPAC:  616789
EasyWeb Five ^© 5.7.3 - 1994-2024 è un prodotto Nexus IT

| |