Geodesic
Temi geometrici e di teoria della dimostrazione nelle logiche proposizionali di Łukasiewicz
Bollettino della Unione matematica italiana, Série 8, 3A (2000) no. 1S, pp. 9-12

Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica

@article{BUMI_2000_8_3A_1S_a1,
     author = {Aguzzoli, Stefano},
     title = {Temi geometrici e di teoria della dimostrazione nelle logiche proposizionali di {{\L}ukasiewicz}},
     journal = {Bollettino della Unione matematica italiana},
     pages = {9--12},
     publisher = {mathdoc},
     volume = {Ser. 8, 3A},
     number = {1S},
     year = {2000},
     zbl = {1053.03503},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/BUMI_2000_8_3A_1S_a1/}
}
TY  - JOUR
AU  - Aguzzoli, Stefano
TI  - Temi geometrici e di teoria della dimostrazione nelle logiche proposizionali di Łukasiewicz
JO  - Bollettino della Unione matematica italiana
PY  - 2000
SP  - 9
EP  - 12
VL  - 3A
IS  - 1S
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BUMI_2000_8_3A_1S_a1/
LA  - it
ID  - BUMI_2000_8_3A_1S_a1
ER  - 
%0 Journal Article
%A Aguzzoli, Stefano
%T Temi geometrici e di teoria della dimostrazione nelle logiche proposizionali di Łukasiewicz
%J Bollettino della Unione matematica italiana
%D 2000
%P 9-12
%V 3A
%N 1S
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BUMI_2000_8_3A_1S_a1/
%G it
%F BUMI_2000_8_3A_1S_a1
Aguzzoli, Stefano. Temi geometrici e di teoria della dimostrazione nelle logiche proposizionali di Łukasiewicz. Bollettino della Unione matematica italiana, Série 8, 3A (2000) no. 1S, pp. 9-12. http://geodesic.mathdoc.fr/item/BUMI_2000_8_3A_1S_a1/