|
Realizability and finite validity of propositional formulas with restrictions on the occurrence of implication
D. P. Skvortsov M. V. Lomonosov Moscow State University
Received: 08.04.1977
Citation:
D. P. Skvortsov, “Realizability and finite validity of propositional formulas with restrictions on the occurrence of implication”, Mat. Zametki, 25:6 (1979), 919–931; Math. Notes, 25:6 (1979), 474–481
Linking options:
https://www.mathnet.ru/eng/mzm8381 https://www.mathnet.ru/eng/mzm/v25/i6/p919
|
|