RUS  ENG
Full version
JOURNALS // Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika // Archive

Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2001 Number 6, Pages 43–48 (Mi vmumm1525)

This article is cited in 1 paper

Short notes

Sequential logic of arithmetic decidability

E. E. Zolin


UDC: УДК 510.643

Received: 18.10.2000



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024