Geodesic
The Decision Problem for Segregated Formulas in First-Order Logic.
Mathematica Scandinavica, Tome 21 (1967), pp. 233-240.

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : recursion theory, constructive mathematics 
@article{MS2_1967__21_166022,
     author = {M.R. Krom},
     title = {The {Decision} {Problem} for {Segregated} {Formulas} in {First-Order} {Logic.}},
     journal = {Mathematica Scandinavica},
     pages = {233--240},
     publisher = {mathdoc},
     volume = {21},
     year = {1967},
     zbl = {0169.31003},
     url = {http://geodesic.mathdoc.fr/item/MS2_1967__21_166022/}
}
TY  - JOUR
AU  - M.R. Krom
TI  - The Decision Problem for Segregated Formulas in First-Order Logic.
JO  - Mathematica Scandinavica
PY  - 1967
SP  - 233
EP  - 240
VL  - 21
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MS2_1967__21_166022/
ID  - MS2_1967__21_166022
ER  - 
%0 Journal Article
%A M.R. Krom
%T The Decision Problem for Segregated Formulas in First-Order Logic.
%J Mathematica Scandinavica
%D 1967
%P 233-240
%V 21
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MS2_1967__21_166022/
%F MS2_1967__21_166022
M.R. Krom. The Decision Problem for Segregated Formulas in First-Order Logic.. Mathematica Scandinavica, Tome 21 (1967), pp. 233-240. http://geodesic.mathdoc.fr/item/MS2_1967__21_166022/