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

✍ Scribed by D. P. Skvortsov

• Publisher: SP MAIK Nauka/Interperiodica
• Year: 1979
• Tongue: English
• Weight: 569 KB
• Volume: 25
• Category: Article
• ISSN: 0001-4346
• DOI: 10.1007/bf01230991