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

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

Bibliographic databases:

• 
• 
•