|
This article is cited in 6 scientific papers (total in 6 papers)
Constructive formalization of the Tennenbaum theorem and its applications
V. E. Plisko M. V. Lomonosov Moscow State University
Received: 18.03.1988 Revised: 23.03.1989
Citation:
V. E. Plisko, “Constructive formalization of the Tennenbaum theorem and its applications”, Mat. Zametki, 48:3 (1990), 108–118; Math. Notes, 48:3 (1990), 950–957
Linking options:
https://www.mathnet.ru/eng/mzm3337 https://www.mathnet.ru/eng/mzm/v48/i3/p108
|
Statistics & downloads: |
Abstract page: | 360 | Full-text PDF : | 136 | First page: | 4 |
|