|
MATHEMATICS
The intuitionistic deducibility of certain realizable formulae of propositional logic
F. A. Kabakov V. A. Steklov Mathematical Institute, USSR Academy of Sciences
Citation:
F. A. Kabakov, “The intuitionistic deducibility of certain realizable formulae of propositional logic”, Dokl. Akad. Nauk SSSR, 192:2 (1970), 269–271
Linking options:
https://www.mathnet.ru/eng/dan35401 https://www.mathnet.ru/eng/dan/v192/i2/p269
|
|