%0 Journal Article
%A P. Bernays
%A M. Schönfinkel
%T Zum Entscheidungsproblem der mathematischen Logik
%J Mathematische Annalen
%D 1928
%P 342-372
%V 99
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAN_1928__99_159260/
%F MAN_1928__99_159260