|
This article is cited in 1 scientific paper (total in 1 paper)
MATHEMATICS
On predicate and arithmetic calculi of symmetric constructive logic
I. D. Zaslavsky Computing Center of the Academy of Sciences of the Armenian Soviet Socialist Republic Yerevan State University
Citation:
I. D. Zaslavsky, “On predicate and arithmetic calculi of symmetric constructive logic”, Dokl. Akad. Nauk SSSR, 210:3 (1973), 517–520
Linking options:
https://www.mathnet.ru/eng/dan37671 https://www.mathnet.ru/eng/dan/v210/i3/p517
|
Statistics & downloads: |
Abstract page: | 96 | Full-text PDF : | 46 |
|