|
This article is cited in 1 scientific paper (total in 1 paper)
MATHEMATICS
Inverse method of establishing deducibility for non-prenex formulas of predicate calculus
S. Yu. Maslov Leningrad Department of V. A. Steklov Institute of Mathematics, USSR Academy of Sciences
Citation:
S. Yu. Maslov, “Inverse method of establishing deducibility for non-prenex formulas of predicate calculus”, Dokl. Akad. Nauk SSSR, 172:1 (1967), 22–25
Linking options:
https://www.mathnet.ru/eng/dan32785 https://www.mathnet.ru/eng/dan/v172/i1/p22
|
Statistics & downloads: |
Abstract page: | 113 | Full-text PDF : | 55 |
|