Equazioni logiche nel calcolo dei predicati del primo ordine in un universo finito.
Carruccio, Ettore
Bollettino dell'Unione Matematica Italiana, Tome 20 (1965), p. 389-392 / Harvested from Biblioteca Digitale Italiana di Matematica
Access to full text
Full (PDF)
Full (DjVu)
Publié le : 1965-09-01
@article{BUMI_1965_3_20_3_389_0,
     author = {Ettore Carruccio},
     title = {Equazioni logiche nel calcolo dei predicati del primo ordine in un  universo finito.},
     journal = {Bollettino dell'Unione Matematica Italiana},
     volume = {20},
     year = {1965},
     pages = {389-392},
     zbl = {0156.00610},
     mrnumber = {191793},
     language = {it},
     url = {http://dml.mathdoc.fr/item/BUMI_1965_3_20_3_389_0}
}

Carruccio, Ettore. Equazioni logiche nel calcolo dei predicati del primo ordine in un  universo finito.. Bollettino dell'Unione Matematica Italiana, Tome 20 (1965) pp. 389-392. http://gdmltest.u-ga.fr/item/BUMI_1965_3_20_3_389_0/