Zurückführung des Entscheidungsproblems auf den Fall von Formeln mit einer einzigen, binären, Funktionsvariablen László Kalmár — 1937 Compositio Mathematica