|
A means of modeling the classical second-order arithmetic
N. V. Beliakin
Received: 18.02.1982
Citation:
N. V. Beliakin, “A means of modeling the classical second-order arithmetic”, Algebra Logika, 22:1 (1983), 3–25
Linking options:
https://www.mathnet.ru/eng/al1794 https://www.mathnet.ru/eng/al/v22/i1/p3
|
Statistics & downloads: |
Abstract page: | 49 | Full-text PDF : | 27 |
|