![](/img/cover-not-exists.png)
On the Reduction of the Decision Problem. First Paper. Ackermann Prefix, A Single Binary Predicate
László KalmárVolume:
4
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2266211
Date:
March, 1939
File:
PDF, 895 KB
english, 1939