|
Method of invariant transformations and logical deduction
A. B. Nikolenko
Received: 01.03.1983
Citation:
A. B. Nikolenko, “Method of invariant transformations and logical deduction”, Mat. Zametki, 36:1 (1984), 3–15; Math. Notes, 36:1 (1984), 493–500
Linking options:
https://www.mathnet.ru/eng/mzm5838 https://www.mathnet.ru/eng/mzm/v36/i1/p3
|
Statistics & downloads: |
Abstract page: | 239 | Full-text PDF : | 124 | First page: | 1 |
|