RUS  ENG
Full version
JOURNALS // Algebra i logika // Archive

Algebra i Logika. Sem., 1966 Volume 5, Number 6, Pages 33–39 (Mi al1077)

Formal deductions in the calculus of strict implication

L. L. Maksimova


Received: 05.10.1966



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024