%0 Journal Article
%A Kalmár, László
%T Zurückführung des Entscheidungsproblems auf den Fall von Formeln mit einer einzigen, binären, Funktionsvariablen
%J Compositio Mathematica
%D 1937
%P 137-144
%V 4
%I Johnson Reprint Corporation
%U http://archive.numdam.org/item/CM_1937__4__137_0/
%G de
%F CM_1937__4__137_0