Библиография Лаврова И.А.


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

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