|
This article is cited in 1 scientific paper (total in 1 paper)
MATHEMATICS
A criterion for functional completeness in classical first-order predicate logic
A. V. Kuznetsov, M. F. Raţă Mathematics Institute, Computer Center, Academy of Sciences of the Moldavian SSR, Kishinev
Citation:
A. V. Kuznetsov, M. F. Raţă, “A criterion for functional completeness in classical first-order predicate logic”, Dokl. Akad. Nauk SSSR, 249:3 (1979), 540–544
Linking options:
https://www.mathnet.ru/eng/dan43159 https://www.mathnet.ru/eng/dan/v249/i3/p540
|
Statistics & downloads: |
Abstract page: | 110 | Full-text PDF : | 55 |
|