The interpreted type-free modal calculus . II
Rendiconti del Seminario Matematico della Università di Padova, Tome 50 (1973), pp. 19-57
Cet article a éte moissonné depuis la source Numdam
partie précédente
The interpreted type-free modal calculus
partie suivante The interpreted type-free modal calculus
partie suivante The interpreted type-free modal calculus
@article{RSMUP_1973__50__19_0,
author = {Bressan, A.},
title = {The interpreted type-free modal calculus $MC^{\infty }$. {II}},
journal = {Rendiconti del Seminario Matematico della Universit\`a di Padova},
pages = {19--57},
year = {1973},
publisher = {Seminario Matematico of the University of Padua},
volume = {50},
zbl = {0285.02020},
language = {en},
url = {http://geodesic.mathdoc.fr/item/RSMUP_1973__50__19_0/}
}
TY - JOUR
AU - Bressan, A.
TI - The interpreted type-free modal calculus $MC^{\infty }$. II
JO - Rendiconti del Seminario Matematico della Università di Padova
PY - 1973
SP - 19
EP - 57
VL - 50
PB - Seminario Matematico of the University of Padua
UR - http://geodesic.mathdoc.fr/item/RSMUP_1973__50__19_0/
LA - en
ID - RSMUP_1973__50__19_0
ER -
%0 Journal Article
%A Bressan, A.
%T The interpreted type-free modal calculus $MC^{\infty }$. II
%J Rendiconti del Seminario Matematico della Università di Padova
%D 1973
%P 19-57
%V 50
%I Seminario Matematico of the University of Padua
%U http://geodesic.mathdoc.fr/item/RSMUP_1973__50__19_0/
%G en
%F RSMUP_1973__50__19_0
Bressan, A. The interpreted type-free modal calculus $MC^{\infty }$. II. Rendiconti del Seminario Matematico della Università di Padova, Tome 50 (1973), pp. 19-57. http://geodesic.mathdoc.fr/item/RSMUP_1973__50__19_0/
