Toggle navigation
Revues
Livres
Sources
français
English
Tout
Tout
Auteur
Titre
Bibliographie
Inclure les e-prints dans la recherche (arXiv, HAL)
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Plein texte
Liste des citations dans Numdam pour :
The interpreted type-free modal calculus
M
C
∞
Rendiconti del Seminario Matematico della Università di Padova,
Tome 50
(1973),
p. 157-194
/ Harvested from
Numdam
Bressan, A.
The interpreted type-free modal calculus
M
C
∞
Rendiconti del Seminario Matematico della Università di Padova,
Tome 52
(1974),
p. 1-25
/ Harvested from
Numdam