Voir la notice de l'article provenant de la source Numdam
@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}, publisher = {Seminario Matematico of the University of Padua}, volume = {54}, year = {1975}, 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
Previale, 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/