RUS  ENG
Full version
JOURNALS // Algebra i logika // Archive
Algebra Logika, 1981 Volume 20, Number 6, Pages 654–706 (Mi al1752)
An undecidable intermediate calculus

S. V. Popov


UDC: 519

Received: 21.12.1978
Revised: 08.04.1981



Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024