Some problems of descriptive set theory and definability in the theory of types.
Studies in nonclassical logic and formal systems,
work collect.,
Moscow, 1983, pp. 21--81
| Authors: Kanovei V. |
 |
|
||||||||||||||||||||||||||||||||||
| ðóññêèé | english |
|
||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||
© Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), 2024
About | Contacts | Ïðîòèâîäåéñòâèå êîððóïöèè