Scheda: 1/3
Livello bibliografico Monografia
Tipo documento Testo a stampa
Autore principale Cellucci, Carlo
Titolo Teoria della dimostrazione : normalizzazioni e assegnazioni di numeri ordinali / Carlo Cellucci
Pubblicazione Torino : Boringhieri, ©1978
Descrizione fisica 315 p. ; 21 cm.
Collezione Testi e manuali della scienza contemporanea. . Serie di logica matematica
Titolo uniforme
Numeri
· [BNI] 7810295
Nomi
· [Autore] Cellucci, Carlo
Soggetti
Classificazione Dewey
· 511.3 (21.) LOGICA SIMBOLICA (LOGICA MATEMATICA)
Lingua di pubblicazione ITALIANO
Paese di pubblicazione ITALIA
Provenienza IT - IT-000000
Codice identificativo MIL0103189

Biblioteca Collocazione Inventario Numero dei volumi o consistenze dei periodici Tipo di fruizione
Biblioteca regionale universitaria di Catania COLL. (D)357 d.5 000335399 / 1 v. 1 v.  consultazione,prestito,fotoriproduzione





Scheda: 2/3
Livello bibliografico Monografia
Tipo documento Testo a stampa
Autore principale Wang, Hao
Titolo Dalla matematica alla filosofia / Hao Wang
Pubblicazione Torino : Bollati e Boringhieri, stampa 2000
Descrizione fisica 448 p. ; 24 cm.
Collezione Testi e manuali della scienza contemporanea. . Serie di logica matematica
Titolo uniforme
Numeri
· [ISBN] 883395384X
Nomi
· [Autore] Wang, Hao
Soggetti
Classificazione Dewey
· 511.3 (21.) LOGICA SIMBOLICA (LOGICA MATEMATICA)
Lingua di pubblicazione ITALIANO
Paese di pubblicazione ITALIA
Provenienza IT - IT-000000
Codice identificativo TO01035431

Biblioteca Collocazione Inventario Numero dei volumi o consistenze dei periodici Tipo di fruizione
Biblioteca regionale universitaria di Catania COLL. (D)/357/ d.4 000334373 / 1 v.   consultazione,prestito,fotoriproduzione





Scheda: 3/3
Livello bibliografico Monografia
Tipo documento Testo a stampa
Autore principale MacLane, Saunders
Titolo Categorie nella pratica matematica / Saunders Mac Lane
Pubblicazione Torino : Boringhieri, [1977]
Descrizione fisica 322 p. ; 21 cm
Collezione Testi e manuali della scienza contemporanea. . Serie di logica matematica
Titolo uniforme
Numeri
· [BNI] S9-5000
Nomi
· [Autore] MacLane, Saunders
Soggetti
Classificazione Dewey
· 511.3 (21.) LOGICA SIMBOLICA (LOGICA MATEMATICA)
Lingua di pubblicazione ITALIANO
Paese di pubblicazione ITALIA
Provenienza IT - IT-000000
Codice identificativo RAV0190968

Biblioteca Collocazione Inventario Numero dei volumi o consistenze dei periodici Tipo di fruizione
Biblioteca Comunale "Francesco Scaduto" Bagheria CDD 511.3 MAC 000047692 / 1 v.   consultazione,prestito,fotoriproduzione
Biblioteca regionale universitaria di Catania COLL. (D)/357/ d.6 000335397 / 1 v. 6  consultazione,prestito,fotoriproduzione





←Risultati sintetici
| |  |