Sulla quantificazione simultanea nelle algebre cilindriche.
Bollettino della Unione matematica italiana, Série 3, Tome 21 (1966) no. 3, pp. 302-311
Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica
@article{BUMI_1966_3_21_3_a10,
author = {Mangani, Piero},
title = {Sulla quantificazione simultanea nelle algebre cilindriche.},
journal = {Bollettino della Unione matematica italiana},
pages = {302--311},
publisher = {mathdoc},
volume = {Ser. 3, 21},
number = {3},
year = {1966},
zbl = {0178.31103},
mrnumber = {224445},
language = {it},
url = {http://geodesic.mathdoc.fr/item/BUMI_1966_3_21_3_a10/}
}
Mangani, Piero. Sulla quantificazione simultanea nelle algebre cilindriche.. Bollettino della Unione matematica italiana, Série 3, Tome 21 (1966) no. 3, pp. 302-311. http://geodesic.mathdoc.fr/item/BUMI_1966_3_21_3_a10/