RUS  ENG
Full version
JOURNALS // Algebra i logika // Archive
Algebra Logika, 1983 Volume 22, Number 1, Pages 3–25 (Mi al1794)
A means of modeling the classical second-order arithmetic

N. V. Beliakin


UDC: 517.11:518.5

Received: 18.02.1982



Bibliographic databases:

© Steklov Math. Inst. of RAS, 2026