Tavole semantiche per sistemi astratti di logica estensionale
Rendiconti del Seminario Matematico della Università di Padova, Tome 54 (1975), pp. 31-57
Cet article a éte moissonné depuis 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},
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
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/
