D. P. Skvortsov, “Realizability and finite validity of propositional formulas with restrictions on the occurrence of implication”, Mat. Zametki, 1979, Volume 25, Issue 6,Pages <nobr>919

JOURNALS // Matematicheskie Zametki // Archive

Mat. Zametki, 1979 Volume 25, Issue 6, Pages 919–931 (Mi mzm8381)

Realizability and finite validity of propositional formulas with restrictions on the occurrence of implication

D. P. Skvortsov

M. V. Lomonosov Moscow State University

UDC: 517.11

Received: 08.04.1977

Fulltext: PDF file (1023 kB)

English version: Mathematical Notes, 1979, 25:6, 474–481

Bibliographic databases: