Tavole semantiche per sistemi astratti di logica estensionale
Rendiconti del Seminario Matematico della Università di Padova, Tome 54 (1975), pp. 31-57
Voir la notice de l'article provenant de la source Numdam
MR ZblPreviale, Flavio. Tavole semantiche per sistemi astratti di logica estensionale. Rendiconti del Seminario Matematico della Università di Padova, Tome 54 (1975), pp. 31-57. http://geodesic.mathdoc.fr/item/RSMUP_1975__54__31_0/
@article{RSMUP_1975__54__31_0,
author = {Previale, Flavio},
title = {Tavole semantiche per sistemi astratti di logica estensionale},
journal = {Rendiconti del Seminario Matematico della Universit\`a di Padova},
pages = {31--57},
year = {1975},
publisher = {Seminario Matematico of the University of Padua},
volume = {54},
mrnumber = {429509},
zbl = {0357.02020},
language = {it},
url = {http://geodesic.mathdoc.fr/item/RSMUP_1975__54__31_0/}
}
TY - JOUR AU - Previale, Flavio TI - Tavole semantiche per sistemi astratti di logica estensionale JO - Rendiconti del Seminario Matematico della Università di Padova PY - 1975 SP - 31 EP - 57 VL - 54 PB - Seminario Matematico of the University of Padua UR - http://geodesic.mathdoc.fr/item/RSMUP_1975__54__31_0/ LA - it ID - RSMUP_1975__54__31_0 ER -
%0 Journal Article %A Previale, Flavio %T Tavole semantiche per sistemi astratti di logica estensionale %J Rendiconti del Seminario Matematico della Università di Padova %D 1975 %P 31-57 %V 54 %I Seminario Matematico of the University of Padua %U http://geodesic.mathdoc.fr/item/RSMUP_1975__54__31_0/ %G it %F RSMUP_1975__54__31_0
