# The Decision Problem for Segregated Formulas in First-Order Logic.

Mathematica Scandinavica (1967)

- Volume: 21, page 233-240
- ISSN: 0025-5521; 1903-1807/e

## Access Full Article

top## How to cite

topKrom, M.R.. "The Decision Problem for Segregated Formulas in First-Order Logic.." Mathematica Scandinavica 21 (1967): 233-240. <http://eudml.org/doc/166022>.

@article{Krom1967,

author = {Krom, M.R.},

journal = {Mathematica Scandinavica},

keywords = {recursion theory, constructive mathematics},

pages = {233-240},

title = {The Decision Problem for Segregated Formulas in First-Order Logic.},

url = {http://eudml.org/doc/166022},

volume = {21},

year = {1967},

}

TY - JOUR

AU - Krom, M.R.

TI - The Decision Problem for Segregated Formulas in First-Order Logic.

JO - Mathematica Scandinavica

PY - 1967

VL - 21

SP - 233

EP - 240

KW - recursion theory, constructive mathematics

UR - http://eudml.org/doc/166022

ER -

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.