@article{bwmeta1.element.bwnjournal-article-fmv49i2p129bwm,
author = {Andrzej Ehrenfeucht},
title = {An application of games to the completeness problem for formalized theories},
journal = {Fundamenta Mathematicae},
volume = {49},
year = {1961},
pages = {129-141},
zbl = {0096.24303},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-fmv49i2p129bwm}
}
Ehrenfeucht, Andrzej. An application of games to the completeness problem for formalized theories. Fundamenta Mathematicae, Tome 49 (1961) pp. 129-141. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-fmv49i2p129bwm/