The Decision Problem for Segregated Formulas in First-Order Logic.
Krom, M.R.
Mathematica Scandinavica, Tome 20 (1967), p. 233-240 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1967-01-01
EUDML-ID : urn:eudml:doc:166022 
@article{GDZPPN002349191,
     title = {The Decision Problem for Segregated Formulas in First-Order Logic.},
     journal = {Mathematica Scandinavica},
     volume = {20},
     year = {1967},
     pages = {233-240},
     zbl = {0169.31003},
     url = {http://dml.mathdoc.fr/item/GDZPPN002349191}
}

Krom, M.R. The Decision Problem for Segregated Formulas in First-Order Logic.. Mathematica Scandinavica, Tome 20 (1967) pp. 233-240. http://gdmltest.u-ga.fr/item/GDZPPN002349191/