Kalmar L., Suranyi J.


Kalmar L.,Suranyi J.
[1950]
On the Reduction of the Decision Problem: Third Paper. Pepis Prefix, a Single Binary Predicate
J. Symbolic Logic, 15, № 3, 161-173
~
article

Вернуться к поиску