Risultati sintetici Catalogo del Polo Regionale di Sicilia Ricerca: Collezione = Contemporanea >> Luogo di pubblicazione = torino >> Tipo di documento = testo a stampa >> Codice Dewey = 511.3 Risultati: 1-8 di (8) 1. Wang, Hao Dalla matematica alla filosofia / Hao Wang Torino : Boringhieri, [1984] Monografia - Testo a stampa [CFI0059896] 2. Mendelson, Elliott Introduzione alla logica matematica / Elliott Mendelson Torino : Bollati Boringhieri, 1972 Monografia - Testo a stampa [MIL0091782] 3. Cellucci, Carlo Teoria della dimostrazione : normalizzazioni e assegnazioni di numeri ordinali / Carlo Cellucci Torino : Boringhieri, ©1978 Monografia - Testo a stampa [MIL0103189] 4. MacLane, Saunders Categorie nella pratica matematica / Saunders Mac Lane Torino : Boringhieri, [1977] Monografia - Testo a stampa [RAV0190968] 5. Lolli, Gabriele Teoria assiomatica degli insiemi : insiemi costruibili e modelli booleani / Gabriele Lolli Torino : Boringhieri, 1974 Monografia - Testo a stampa [RAV0191559] 6. Hindley, James Roger Introduzione alla logica combinatoria / J. R. Hindley, Bruce Lercher, J. P. Seldin Torino : Boringhieri, 1975 Monografia - Testo a stampa [SBL0586077] 7. Wang, Hao Dalla matematica alla filosofia / Hao Wang Torino : Bollati e Boringhieri, stampa 2000 Monografia - Testo a stampa [TO01035431] 8. Le logiche libere / a cura di Ermanno Bencivenga Torino : Boringhieri, 1976 Monografia - Testo a stampa [AQ10002852]