“Transfer from deducibility in the classical set theory to deducibility in intuitionistic set theory for the language of rings”
Algebra and Logic,
1991, Vol. 30, No. 6, pp. 427–439.
Go to publication
| Authors: Lyubetsky V. |
 |
|
||||||||||||||||||||||||||||||||||
| ðóññêèé | english |
|
||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||
© Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), 2025
About | Contacts | Ïðîòèâîäåéñòâèå êîððóïöèè