@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/}
}