bdim: Biblioteca Digitale Italiana di Matematica

Un progetto SIMAI e UMI
Indice degli Autori
Home -> Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. Rend., Serie 8 -> Vol. 60 (1976), n. 2 -> pp. 77-83

Referenza completa

Mangani, 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 Serie 8 60 (1976), fasc. n.2, p. 77-83, (Italian)
pdf (549 Kb), djvu (709 Kb). | MR 0465784 | Zbl 0369.02038

Sunto

An algebraic version of a monadic 1st order logic with Hilbert's $\tau$-symbol is given and compared with another one to be found in a previous paper written by the Author.
Referenze Bibliografiche
[1] N. BOURBAKI (1957) - Eléments de Mathématiques (Théorie des ensembles). Livre 1, Paris. | MR 207541
[2] P. R. HALMOS (1962) - Algebraic logic, N.Y.. | MR 131961
[3] D. HILBERT e P. BERNAYS (1934-38) - Grundlagen der Mathematik, I e II, Berlin. | MR 237246
[4] A. C. LEISENRING (1969) - Mathematical logic and Hilbert's $\epsilon$-simbol, London. | MR 276059
[5] P. MANGANI (1966) - Su certe algebre connesse con sistemi di logica elementare dotati dell'operatore $\tau$ di Hilbert, «Le Matematiche», 21 (1). | MR 197323 | Zbl 0145.00602
Home -> Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. Rend., Serie 8 -> Vol. 60 (1976), n. 2 -> pp. 77-83

La collezione può essere raggiunta anche a partire da EuDML, la biblioteca digitale matematica europea, e da mini-DML, il progetto mini-DML sviluppato e mantenuto dalla cellula Math-Doc di Grenoble.

Per suggerimenti o per segnalare eventuali errori, scrivete a

logo MBACCon il contributo del Ministero per i Beni e le Attività Culturali