News
General Theory of Computability
(bibliography)
by Lavrov I.A.
By Author Name:
English: A-B-C-D-E-F-G-H-I-J-K-L-M-N-O-P-Q-R-S-T-U-V-W-X-Y-Z
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
Search
Kalmár L. [1956] Ein direkter Beweis für die allgemein-recursive Unlösbarkeit des Entscheidungsproblems des Prädikatenkalküls der ersten Stufe mit Identität Z. math. Logik und Grundl. Math., 2, № 1, 1-14 58.01.69 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.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 Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kalmar L. [1939] On the Reduction of the Decision Problem. First Paper. Ackermann Prefix, A Single Binary Predicate J. Symbolic Logic, 4, № 1, 1-9 ~ article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kalmar L.,Suranyi J. [1947] On the Reduction of the Decision Problem J. Symbolic Logic, 12, № 3, 65-73 ~ article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kalmar L. [1936] Zurückfürung des Entscheidungs – problems auf den Fall von Formeln mit einer einzigen binären Funktionsvariablen Compsitio Math., 4, 137-144 ~ article Вернуться к поиску ~
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.K Kach A.M. Kaddah D. Kahr A.S. Kalantari I. Kalimullin I. Sh. Kalmár L Kanda A. Kaphengst H. Karp C. Kastanas J.G. Kastermans B. Kechris A.S. KentCF KentT Khoussainov B. M. Kierstead H. Kinber E. B. Kjos-Hanssen B. Kleene S. C. Kleinberg E.M. Klette R. Knight J.F. KoKI Kochen S. Kolaitis P.G. Kolmogorov A.N. Kontostathis ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.