Algebrizzazione della logica monadica dotata dell'operatore di Hilbert
- Volume: 60, Issue: 2, page 77-83
- ISSN: 0392-7881
Access Full Article
topAbstract
topHow to cite
topReferences
top- BOURBAKI, N. (1957) - Eléments de Mathématiques (Théorie des ensembles). Livre 1, Paris. MR207541
- HALMOS, P. R. (1962) - Algebraic logic, N.Y.. MR131961
- HILBERT, D. e BERNAYS, P. (1934-38) - Grundlagen der Mathematik, I e II, Berlin. MR237246
- LEISENRING, A. C. (1969) - Mathematical logic and Hilbert's -simbol, London. MR276059
- MANGANI, P. (1966) - Su certe algebre connesse con sistemi di logica elementare dotati dell'operatore di Hilbert, «Le Matematiche», 21 (1). Zbl0145.00602MR197323