RUS  ENG
Full version
JOURNALS // Algebra i logika // Archive
Algebra i Logika. Sem., 1967 Volume 6, Number 6, Pages 21–27 (Mi al1133)
On independent recursive axiomatisation in intuitionistic logic

I. Reznikoff

Paris

Received: 12.09.1967

Language: English



Bibliographic databases:

© Steklov Math. Inst. of RAS, 2025