Algebrizzazione della logica monadica dotata dell'operatore di Hilbert
- Volume: 60, Issue: 2, page 77-83
- ISSN: 0392-7881
Access Full Article
top
Abstract
topHow to cite
topMangani, Piero. "Algebrizzazione della logica monadica dotata dell'operatore $\tau$ di Hilbert." Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti 60.2 (1976): 77-83. <http://eudml.org/doc/291108>.
@article{Mangani1976,
author = {Mangani, Piero},
journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti},
language = {ita},
month = {2},
number = {2},
pages = {77-83},
publisher = {Accademia Nazionale dei Lincei},
title = {Algebrizzazione della logica monadica dotata dell'operatore $\tau$ di Hilbert},
url = {http://eudml.org/doc/291108},
volume = {60},
year = {1976},
}
TY - JOUR
AU - Mangani, Piero
TI - Algebrizzazione della logica monadica dotata dell'operatore $\tau$ di Hilbert
JO - Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti
DA - 1976/2//
PB - Accademia Nazionale dei Lincei
VL - 60
IS - 2
SP - 77
EP - 83
LA - ita
UR - http://eudml.org/doc/291108
ER -
References
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
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.