Carruccio, Ettore:
Equazioni logiche nel calcolo dei predicati del primo ordine in un universo finito.
Bollettino dell'Unione Matematica Italiana Serie 3 20 (1965), fasc. n.3, p. 389-392, Zanichelli (Italian)
Sezione Scientifica
pdf (443 Kb), djvu (119 Kb). | MR 191793 | Zbl 0156.00610
| Home -> Boll. Un. Mat. Ital., Serie 3 -> Vol. 20 (1965), n. 3 -> pp. 389-392 |
La collezione può essere raggiunta anche a partire da EuDML, la biblioteca digitale matematica europea, e da Geodesic, progetto sviluppato e mantenuto da Math-Doc, Grenoble.
Per suggerimenti o per segnalare eventuali errori, scrivete a zelati at unina dot it
Con il contributo del Ministero per i Beni e le AttivitĂ Culturali