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  -