Calcoli generali con «tipi» e Logiche generalizzate
- Volume: 76, Issue: 1, page 1-6
- ISSN: 0392-7881
Access Full Article
top
Abstract
topHow to cite
topMangani, Piero. "Calcoli generali con «tipi» e Logiche generalizzate." Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti 76.1 (1984): 1-6. <http://eudml.org/doc/289207>.
@article{Mangani1984,
author = {Mangani, Piero},
journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti},
language = {ita},
month = {1},
number = {1},
pages = {1-6},
publisher = {Accademia Nazionale dei Lincei},
title = {Calcoli generali con «tipi» e Logiche generalizzate},
url = {http://eudml.org/doc/289207},
volume = {76},
year = {1984},
}
TY - JOUR
AU - Mangani, Piero
TI - Calcoli generali con «tipi» e Logiche generalizzate
JO - Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti
DA - 1984/1//
PB - Accademia Nazionale dei Lincei
VL - 76
IS - 1
SP - 1
EP - 6
LA - ita
UR - http://eudml.org/doc/289207
ER -
References
top- BELL, e SLOMSON, (1971) - Models and ultraproducts. NHPC.
- CHANG, e KLEISLER, (1973) - Model Theory. NHPC.
- JANKOWKI, A.W. (1982) - An alternative characterisation of Elementary Logic. «Bul. Acad. Polon. des Sci.», XXX (1-2), 198.
- MAGARI, R. (1966) - Calcoli generali e spazi . (I) «Le Matematiche», XXI(1).
- MANGANI, P. (1968) - Calcoli generali con connettivi, «Le Matematiche», XXIII (1).
- MARCJA, e TULIPANI, (1974) - Questioni di teoria dei modelli per linguaggi universali positivi (I). «Rend. Accademia Naz. Lincei», Serie VIII, 56 (6).
- MAKOWSKY, e SHELAH, (1979) - The Theorems of Beth and Craig in abstract model theory (I). «Trans. Amer. Math. Soc», 256.
- MUNDICI, D. (1981) — Applications of many-sorted Robinson consistency theorem. «Zeit. Math. Logik», 27 (1).
- MUNDICI, D. (1981) - Robinson's consistency theorem in soft model theory. «Trans. Amer. Math. Soc.», 263.
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.