Skip to main content Skip to main navigation menu Skip to site footer
Mathematica Scandinavica
  • Current
  • Archives
  • Announcements
  • About
    • About the journal
    • Ethics and policies
    • Peer-review process
    • Submissions
    • Editorial board
    • Subscriptions
    • Privacy policy
    • Contacts
Search
  • Login
  1. Home /
  2. Archives /
  3. Vol. 21 (1967) /
  4. Articles

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

Authors

  • M. R. Krom

DOI:

https://doi.org/10.7146/math.scand.a-10862

Downloads

  • PDF

Published

1967-12-01

Issue

Vol. 21 (1967)

Section

Articles

Mathematica Scandinavica

Published by MSP
Managed by EditFlow
Recommend MSP journals

ISSN 1903-1807 (online)
ISSN 0025-5521 (print)
Platform by OJS / PKP

MSP (Mathematical Sciences Publishers) logo
More information about the publishing system, Platform and Workflow by OJS/PKP.