RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
 
Kuznetsov, Aleksandr Vladimirovich
(1926–1984)

Statistics Math-Net.Ru
Total publications: 8
Scientific articles: 6

Number of views:
This page:223
Abstract pages:383
Full texts:202
Website: http://bio.logics.pro/index.php/Кузнецов_Александр_Владимирович

http://www.mathnet.ru/eng/person118306
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru
1979
1. 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  mathnet  mathscinet  zmath
1970
2. V. Ya. Gerchiu, A. V. Kuznetsov, “The finitely axiomatizable superintuitionistic logics”, Dokl. Akad. Nauk SSSR, 195:6 (1970),  1263–1266  mathnet  mathscinet  zmath
3. A. V. Kuznetsov, V. Ya. Gerchiu, “The superintuitionistic logics and finitary approximability”, Dokl. Akad. Nauk SSSR, 195:5 (1970),  1029–1032  mathnet  mathscinet  zmath
1965
4. A. V. Kuznetsov, “Analogs of the “Sheffer stroke” in constructive logic”, Dokl. Akad. Nauk SSSR, 160:2 (1965),  274–277  mathnet  mathscinet  zmath
1958
5. A. V. Kuznetsov, “Non-repeating contact schemes and non-repeating superpositions of functions of algebra of logic”, Trudy Mat. Inst. Steklov., 51 (1958),  186–225  mathnet  mathscinet  zmath
6. A. V. Kuznetsov, “A property of functions realized by non-planar non-repeating networks”, Trudy Mat. Inst. Steklov., 51 (1958),  174–185  mathnet  mathscinet  zmath

1971
7. V. Ya. Gerchiu, A. V. Kuznetsov, “Поправки к статье “О конечно аксиоматизируемых суперинтуиционистских логиках” (ДАН, т. 195, № 6, 1970 г.)”, Dokl. Akad. Nauk SSSR, 199:6 (1971),  742  mathnet
8. A. V. Kuznetsov, V. Ya. Gerchiu, “Поправки к статье “О суперинтуиционистских логиках и финитной аппроксимируемости” (ДАН, т. 195, № 5, 1970 г.)”, Dokl. Akad. Nauk SSSR, 199:6 (1971),  742  mathnet
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2019