Collana «Serie di Logica Matematica» di Boringhieri in Torino | ||||
1 | 00: | Monk, J. Donald Cingoli Alleva, Mariella (tr.) | Introduzione alla teoria degli insiemi | 1972 |
2 | 00: | Pizzi, Claudio E. A. Prior, Arthur Norman (contrib.) Rennie, Malcom K. (contrib.) Bull, R. A. (contrib.) Segerberg, Krister (contrib.) Rescher, Nicholas (contrib.) Garson, James W. (contrib.) Von Wright, Georg Henrik (contrib.) Clifford, John E. (contrib.) Hamblin, Charles Leonard (contrib.) Massey, Gerald J. (contrib.) | La logica del tempo | 1974 |
3 | 00: | Robinson, Abraham Bozzi, Silvio (tr.) | Introduzione alla teoria dei modelli e alla metamatematica dell'agebra | 1974.01 |
4 | 00: | Lolli, Gabriele | Teoria assiomatica degli insiemi. Insiemi costruibili e modelli booleani | 1974.11 |
5 | 00: | Hindley, J. Roger Lercher, Bruce Seldin, Jonathan Paul Azzarello, Ferdinando (tr.) Church, Alonzo (cred.) Schönfinkel, M. I. (cred.) | Introduzione alla logica combinatoria | 1975.03 |
6 | 00: | Hermes, Hans Ballo, E. R. G. (tr.) | Enumerabilità, decidibilità, computabilità | 1975.04 |
7 | 00: | Bencivenga, Ermanno (ed.) Mostowski, Andrzej (contrib.) Hailperin, T. (contrib.) Van Orman Quine, Willard (contrib.) Schneider, Hubert H. (contrib.) Leblanc, Hugues (contrib.) Meyer, R. K. B. (contrib.) Leonard, Henry Sigging (contrib.) Hintikka, K. J. J. (contrib.) Lambert, Karel (contrib.) | Le logiche libere | 1976.06 |
8 | 00. | MacLane, Saunders | Categorie nella pratica matematica | 1977 |
9 | 00: | Costantini, Domenico | Introduzione alla probabilità | 1977.1 |
10 | 00: | Cellucci, Carlo | Teoria della dimostrazione | 1978.1 |
11 | 00: | Hatcher, William S. Dalla Chiara Scabia, M. L. (tr.) | Fondamenti della matematica | 1978.11.1 |
12 | 00. | Shoenfield, J. R. Cagnoni, Donatella (tr.) | Logica matematica | 1980 |
13 | 00: | Chang, Cheng-Chung Keisler, H. Jerome Garofalo, Amir | Teoria dei modelli | 1980 |
14 | 00: | Dalla Chiara Scabia, M. L. Toraldo di Francia, G. | Le teorie fisiche. Un'analisi formale | 1981.04 |
15 | 00: | Wang, Hao Giacomelli, Alberto (tr.) | Dalla matematica alla filosofia | 1984 |
16 | 00. | Bencivenga, Ermanno | Il primo libro di logica. Introduzione ai metodi della logica contemporanea | 1986 |
17 | 00: | Mendelson, Elliott Pallucchini, T. (tr.) | Introduzione alla logica matematica | 2004.11 |