Geodesic
Equazioni logiche nel calcolo dei predicati del primo ordine in un universo finito.
Bollettino della Unione matematica italiana, Série 3, Tome 20 (1965) no. 3, pp. 389-392

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

@article{BUMI_1965_3_20_3_a7,
     author = {Carruccio, Ettore},
     title = {Equazioni logiche nel calcolo dei predicati del primo ordine in un  universo finito.},
     journal = {Bollettino della Unione matematica italiana},
     pages = {389--392},
     publisher = {mathdoc},
     volume = {Ser. 3, 20},
     number = {3},
     year = {1965},
     zbl = {0156.00610},
     mrnumber = {191793},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/BUMI_1965_3_20_3_a7/}
}
TY  - JOUR
AU  - Carruccio, Ettore
TI  - Equazioni logiche nel calcolo dei predicati del primo ordine in un  universo finito.
JO  - Bollettino della Unione matematica italiana
PY  - 1965
SP  - 389
EP  - 392
VL  - 20
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BUMI_1965_3_20_3_a7/
LA  - it
ID  - BUMI_1965_3_20_3_a7
ER  - 
%0 Journal Article
%A Carruccio, Ettore
%T Equazioni logiche nel calcolo dei predicati del primo ordine in un  universo finito.
%J Bollettino della Unione matematica italiana
%D 1965
%P 389-392
%V 20
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BUMI_1965_3_20_3_a7/
%G it
%F BUMI_1965_3_20_3_a7
Carruccio, Ettore. Equazioni logiche nel calcolo dei predicati del primo ordine in un  universo finito.. Bollettino della Unione matematica italiana, Série 3, Tome 20 (1965) no. 3, pp. 389-392. http://geodesic.mathdoc.fr/item/BUMI_1965_3_20_3_a7/