Catalogo Collettivo Provinciale di Prato |

• en
• de
• es
• fr
• it

Catalogo Collettivo Provinciale di Prato

MediaLibraryOnLine

Risultati ricerca

Seleziona uno o più documenti

 

1/15  

Bencivenga, Ermanno . Una logica dei termini singolari / Ermanno Bencivenga. - Torino : Boringhieri, 1980. - 162 p. ; 20 cm. - (Testi e manuali della scienza contemporanea. Serie di logica matematica)
Classificazione: 511.3 [CDD]

Biblioteca comunale Lazzerini: PD 24873

2/15  

Bencivenga, Ermanno . Il primo libro di logica : introduzione ai metodi della logica contemporanea / Ermanno Bencivenga. - Torino : Bollati Boringhieri, 1988. - 228 p. ; 21 cm. - (Testi e manuali della scienza contemporanea. Serie di logica matematica)
Classificazione: 160 [CDD]

Biblioteca comunale di Montemurlo: 160 BEN

3/15  

Cellucci, Carlo . Teoria della dimostrazione : normalizzazione e assegnazioni di numeri ordinali / Carlo Cellucci. - Torino : Boringhieri, 1978. - 314 p. ; 20 cm. - (Testi e manuali della scienza contemporanea. Serie di logica matematica)
Classificazione: 511.3 [CDD]

Biblioteca comunale Lazzerini: PD 5896

4/15  

Chang, Chen Chung . Teorie dei modelli / Chen-Chung Chang, H. Jerome Keisler. - Torino : Boringhieri, 1980. - 538 p. ; 23 cm. - (Testi e manuali della scienza contemporanea. Serie di logica matematica)
Classificazione: 511.8 [CDD]

Biblioteca comunale Lazzerini: PD 21615

5/15  

Costantini, Domenico [1937- ] . Introduzione alla probabilita / Domenico Costantini. - Torino : Boringhieri, 1977. - 173 p. ; 21 cm.. - (Testi e manuali della scienza contemporanea. Serie di logica matematica)
Classificazione: 519.2 [CDD] | 519.2 [D] [D]

Biblioteca comunale Lazzerini: PD 5895

6/15  

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

7/15  

Hindley, J. Roger . Introduzione alla logica combinatoria / J. R. Hindley, Bruce Lercher, J. P. Seldin. - Torino : Boringhieri, 1975. - 153 p. ; 21 cm. - (Testi e manuali della scienza contemporanea. Serie di logica matematica)
Classificazione: 511.3 [CDD]

Biblioteca comunale Lazzerini: PD 22653

8/15  

La logica del tempo / a cura di Claudio Pizzi. - Torino : Boringhieri, 1974. - 410 p. ; 21 cm. - (Testi e manuali della scienza contemporanea. Serie di logica matematica)
Classificazione: 511.3 [CDD] | 511.3 [D] [D]

Biblioteca comunale Lazzerini: PD 22646

9/15  

Le logiche libere / a cura di Ermanno Bencivenga. - Torino : Boringhieri, 1976. - 492 p. ; 21 cm. - (Testi e manuali della scienza contemporanea. Serie di logica matematica)
Classificazione: 511.3 [CDD] | 160 [D] [D]

Biblioteca comunale Lazzerini: GTP 511.3.LOG

10/15  

Lolli, Gabriele . Teoria assiomatica degli insiemi : insiemi costruibili e modelli booleani / Gabriele Lolli. - Torino : Boringhieri, 1974. - 286 p. ; 21 cm. - (Testi e manuali della scienza contemporanea. Serie di logica matematica)
Classificazione: 511.322 [CDD] | 512.7 [D] [D] | 511.322 [D] [D]

Biblioteca comunale Lazzerini: PD 24863

Biblioteca comunale di Vaiano: 510 D 14

 

Seleziona uno o più documenti

 

Catalogo Collettivo Provinciale di Prato - Ultimo aggiornamento: 15-05-2024 02:25:00 - Schede in OPAC:  616840
EasyWeb Five ^© 5.7.3 - 1994-2024 è un prodotto Nexus IT

| |