|
The reduction-class $\forall \exists ^n\forall $
V. F. Kostyrko McGill University
Citation:
V. F. Kostyrko, “The reduction-class $\forall \exists ^n\forall $”, Algebra i Logika. Sem., 3:5-6 (1964), 45–55
Linking options:
https://www.mathnet.ru/eng/al1550 https://www.mathnet.ru/eng/al/v3/i5/p45
|
|