![](/img/cover-not-exists.png)
NONCONSTRUCTIVIZABLE FORMAL ARITHMETIC STRUCTURES
Tverskoĭ, A AVolume:
30
Language:
english
Journal:
Mathematics of the USSR-Izvestiya
DOI:
10.1070/IM1988v030n01ABEH000995
Date:
February, 1988
File:
PDF, 927 KB
english, 1988