On the Reduction of the Decision Problem: Third Paper. Pepis Prefix, a Single Binary Predicate.

Laszlo Kalmar Janos Suranyi On the Reduction of the Decision Problem: Third Paper. Pepis Prefix, a Single Binary Predicate. 161-173 1950 15 J. Symb. Log. 3 db/journals/jsyml/jsyml15.html#KalmarS50