|
This article is cited in 1 scientific paper (total in 1 paper)
MATHEMATICS
An inverse method of establishing deducibility in the classical predicate calculus
S. Yu. Maslov Leningrad Department of V. A. Steklov Institute of Mathematics, USSR Academy of Sciences
Citation:
S. Yu. Maslov, “An inverse method of establishing deducibility in the classical predicate calculus”, Dokl. Akad. Nauk SSSR, 159:1 (1964), 17–20
Linking options:
https://www.mathnet.ru/eng/dan30298 https://www.mathnet.ru/eng/dan/v159/i1/p17
|
Statistics & downloads: |
Abstract page: | 348 | Full-text PDF : | 128 |
|