|
This article is cited in 1 scientific paper (total in 2 paper)
MATHEMATICS
Effective inseparability of a set of identically true formulae from a set of finitely refutable ones in some elementary theories
A. I. Mal'tsev
Received: 17.04.1961
Citation:
A. I. Mal'tsev, “Effective inseparability of a set of identically true formulae from a set of finitely refutable ones in some elementary theories”, Dokl. Akad. Nauk SSSR, 139:4 (1961), 802–805
Linking options:
https://www.mathnet.ru/eng/dan25328 https://www.mathnet.ru/eng/dan/v139/i4/p802
|
Statistics & downloads: |
Abstract page: | 134 | Full-text PDF : | 65 |
|