|
Formal deductions in the calculus of strict implication
L. L. Maksimova
Received: 05.10.1966
Citation:
L. L. Maksimova, “Formal deductions in the calculus of strict implication”, Algebra i Logika. Sem., 5:6 (1966), 33–39
Linking options:
https://www.mathnet.ru/eng/al1077 https://www.mathnet.ru/eng/al/v5/i6/p33
|
|