Equazioni logiche nel calcolo dei predicati del primo ordine in un universo finito.
Bollettino dell'Unione Matematica Italiana (1965)
- Volume: 20, Issue: 3, page 389-392
- ISSN: 0392-4041
Access Full Article
top
How to cite
topCarruccio, Ettore. "Equazioni logiche nel calcolo dei predicati del primo ordine in un universo finito.." Bollettino dell'Unione Matematica Italiana 20.3 (1965): 389-392. <http://eudml.org/doc/195621>.
@article{Carruccio1965,
author = {Carruccio, Ettore},
journal = {Bollettino dell'Unione Matematica Italiana},
keywords = {mathematical logic},
language = {ita},
month = {9},
number = {3},
pages = {389-392},
publisher = {Zanichelli},
title = {Equazioni logiche nel calcolo dei predicati del primo ordine in un universo finito.},
url = {http://eudml.org/doc/195621},
volume = {20},
year = {1965},
}
TY - JOUR
AU - Carruccio, Ettore
TI - Equazioni logiche nel calcolo dei predicati del primo ordine in un universo finito.
JO - Bollettino dell'Unione Matematica Italiana
DA - 1965/9//
PB - Zanichelli
VL - 20
IS - 3
SP - 389
EP - 392
LA - ita
KW - mathematical logic
UR - http://eudml.org/doc/195621
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.