|
MATHEMATICS
A criterion for functional completeness in the intuitionistic propositional logic
M. F. Raţă Mathematics Institute, Computer Center, Academy of Sciences of the Moldavian SSR
Citation:
M. F. Raţă, “A criterion for functional completeness in the intuitionistic propositional logic”, Dokl. Akad. Nauk SSSR, 201:4 (1971), 794–797
Linking options:
https://www.mathnet.ru/eng/dan36509 https://www.mathnet.ru/eng/dan/v201/i4/p794
|
Statistics & downloads: |
Abstract page: | 103 | Full-text PDF : | 60 |
|