The significance of the parameters and of the complexity of the basic formula in the comprehension schema for second order
arithmetic.
Soviet Math. Dokl. 1978, 19, pp. 1556--1559.
Go to publication
| Authors: Kanovei V. |
 |
|
||||||||||||||||||||||||||||||||||
| ðóññêèé | english |
|
||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||
© Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), 2024
About | Contacts | Ïðîòèâîäåéñòâèå êîððóïöèè