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

Zbl   MR 

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/
@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},
     year = {1965},
     volume = {Ser. 3, 20},
     number = {3},
     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
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
%U http://geodesic.mathdoc.fr/item/BUMI_1965_3_20_3_a7/
%G it
%F BUMI_1965_3_20_3_a7