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


 English version:
DOI: 10.1007/BF02018738

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025