%0 Journal Article
%A Andrzej Ehrenfeucht
%T An application of games to the completeness problem for formalized theories
%J Fundamenta Mathematicae
%D 1960
%P 129-141
%V 49
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm-49-2-129-141/
%R 10.4064/fm-49-2-129-141
%G en
%F 10_4064_fm_49_2_129_141