|
This article is cited in 1 scientific paper (total in 1 paper)
Decidability of the elementary theory of sphere inclusion
A. D. Taimanov
Received: 20.05.1963
Citation:
A. D. Taimanov, “Decidability of the elementary theory of sphere inclusion”, Algebra i Logika. Sem., 2:3 (1963), 23–27
Linking options:
https://www.mathnet.ru/eng/al983 https://www.mathnet.ru/eng/al/v2/i3/p23
|
Statistics & downloads: |
Abstract page: | 61 | Full-text PDF : | 39 |
|