RUS  ENG
Full version
JOURNALS // Matematicheskie Zametki // Archive
Mat. Zametki, 1984 Volume 36, Issue 1, Pages 3–15 (Mi mzm5838)
Method of invariant transformations and logical deduction

A. B. Nikolenko


UDC: 510.66

Received: 01.03.1983


 English version: Mathematical Notes, 1984, 36:1, 493–500

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024