The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

An application of games to the completeness problem for formalized theories

The work

AuthorsAndrzej Ehrenfeucht
Editors
Typearticle
Year1961
Citekeyehrenfeucht1961application

Where it appeared

Published inFundamenta Mathematicae
PublisherInstitute of Mathematics, Polish Academy of Sciences
Volume49
Issue2
Pages129--141

Identifiers

DOI10.4064/fm-49-2-129-141
ISSN0016-2736

Access

Landing pagehttps://doi.org/10.4064/fm-49-2-129-141

How it got here

How it got hereagent via crossref
Added2026-10-23 23:51 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@article{ehrenfeucht1961application,
  title        = {An application of games to the completeness problem for formalized theories},
  author       = {Andrzej Ehrenfeucht},
  year         = {1961},
  journal      = {Fundamenta Mathematicae},
  publisher    = {Institute of Mathematics, Polish Academy of Sciences},
  volume       = {49},
  number       = {2},
  pages        = {129--141},
  issn         = {0016-2736},
  doi          = {10.4064/fm-49-2-129-141},
}

This record lives at https://refs.drheap.org/ehrenfeucht1961application/ and will keep doing so.