|
This article is cited in 1 scientific paper (total in 2 paper)
New examples of undecidable theories
Yu. L. Ershov
Received: 12.08.1966
Citation:
Yu. L. Ershov, “New examples of undecidable theories”, Algebra i Logika. Sem., 5:5 (1966), 37–47
Linking options:
https://www.mathnet.ru/eng/al1067 https://www.mathnet.ru/eng/al/v5/i5/p37
|
Statistics & downloads: |
Abstract page: | 85 | Full-text PDF : | 31 |
|