Login / Signup

On the Reduction of the Decision Problem. First Paper. Ackermann Prefix, A Single Binary Predicate.

Laszlo Kalmar
Published in: J. Symb. Log. (1939)
Keyphrases