Su una proprietà caratteristica delle teorie incomplete.
Magari, Roberto
Bollettino dell'Unione Matematica Italiana, Tome 21 (1966), p. 292-301 / Harvested from Biblioteca Digitale Italiana di Matematica
Access to full text
Full (PDF)
Full (DjVu)
Publié le : 1966-09-01
@article{BUMI_1966_3_21_3_292_0,
     author = {Roberto Magari},
     title = {Su una propriet\`a caratteristica delle teorie incomplete.},
     journal = {Bollettino dell'Unione Matematica Italiana},
     volume = {21},
     year = {1966},
     pages = {292-301},
     zbl = {0158.00801},
     mrnumber = {205817},
     language = {it},
     url = {http://dml.mathdoc.fr/item/BUMI_1966_3_21_3_292_0}
}

Magari, Roberto. Su una proprietà caratteristica delle teorie incomplete.. Bollettino dell'Unione Matematica Italiana, Tome 21 (1966) pp. 292-301. http://gdmltest.u-ga.fr/item/BUMI_1966_3_21_3_292_0/

[1] Beth, E. W., I fondamenti logici della matematica, Feltrinelli, Milano1963. | MR 148528

[2] Casari, E., Lineamenti di logica matematica, Feltrinelli, Milano, 1960. | Zbl 0115.00504

[3] Henkin, L., La structure algébrique des théories mathématiques, Gauthier-Villars, Paris1956. | Zbl 0087.25002

[4] Magari, R., Calcoli generali e spazi Vα (Calcoli generali I), Le matematiche vol. XXI fasc. 1 (1966) pp. 83-108. | MR 199092 | Zbl 0145.24504

[5] Magari, R., Calcoli generali con più di un operatore deduzione (Calcoli generali II), ibidem pp. 135-149. | MR 199093 | Zbl 0145.24601

[6] Magari, R., Sull'introduzione dei connettivi in un calcolo generale (Calcoli generali III), (in corso di pubblicazione in Le Matematiche). | MR 219403 | Zbl 0166.00303

[7] Mangani, P., Osservazioni sui legami fra i «Calcoli generali» e le algebre di Boole, Le Matematiche, Vol. XXI, Fasc. 2 (1966). | MR 219404 | Zbl 0171.25701

[8] Sikorski, R., Boolean Algebras, Springer Verlag, Berlin, 1960. | MR 126393 | Zbl 0087.02503