RUS  ENG
Full version
JOURNALS // Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika // Archive
Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1985 Number 5, Pages 37–41 (Mi vmumm3266)
Mathematics

Local consistency of an arithmetic with an “attainability”' predicate

E. S. Bozhich


UDC: 517.11

Received: 21.03.1984



Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024