Second order arithmetic and autonomous computability.
Gajlit, E. V. (2003)
Sibirskij Matematicheskij Zhurnal
Similarity:
Gajlit, E. V. (2003)
Sibirskij Matematicheskij Zhurnal
Similarity:
Korotkov, V.B. (2008)
Sibirskij Matematicheskij Zhurnal
Similarity:
Morozov, A.S. (2005)
Sibirskij Matematicheskij Zhurnal
Similarity:
Chumakov, G.A. (2007)
Sibirskij Matematicheskij Zhurnal
Similarity:
Zhdanok, A.I. (2003)
Sibirskij Matematicheskij Zhurnal
Similarity:
Korobkov, M.V., Panov, E.Yu. (2007)
Sibirskij Matematicheskij Zhurnal
Similarity:
Korobkov, M.V. (2006)
Sibirskij Matematicheskij Zhurnal
Similarity:
Korotkov, V.B. (2003)
Sibirskij Matematicheskij Zhurnal
Similarity:
Ponomarev, S.P. (2009)
Sibirskij Matematicheskij Zhurnal
Similarity:
D'Andrea, Carlos, Sombra, Martín (2005)
Sibirskij Matematicheskij Zhurnal
Similarity:
Korobkov, M.V. (2007)
Sibirskij Matematicheskij Zhurnal
Similarity:
Fon-Der-Flaass, D.G. (2007)
Sibirskij Matematicheskij Zhurnal
Similarity:
Andreev, P.D. (2006)
Sibirskij Matematicheskij Zhurnal
Similarity: