TY  - JOUR
AU  - Andrzej Ehrenfeucht
TI  - An application of games to the completeness problem for formalized theories
JO  - Fundamenta Mathematicae
PY  - 1960
SP  - 129
EP  - 141
VL  - 49
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4064/fm-49-2-129-141/
DO  - 10.4064/fm-49-2-129-141
LA  - en
ID  - 10_4064_fm_49_2_129_141
ER  -