RUS
ENG
Full version
JOURNALS
// Algebra i logika
// Archive
Algebra Logika,
1991
Volume 30,
Number 6,
Pages
652–670
(Mi al2172)
The transition from deducibility in classical set theory to deducibility in intuitionistic set theory for the language of rings
V. A. Lyubetskii
UDC:
510.67:512.55
Received: 18.01.1991
Fulltext:
PDF file (7871 kB)
English version:
DOI: 10.1007/BF02018738
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2025