ИСТИНА

Кузичев Александр Сергеевич пользователь

Московский государственный университет им. М.В. Ломоносова, механико-математический факультет

Соавторы: Кузичева З.А., Никогосов С.Л., Гутчин И.Б., Кузичев А.А., Успенский В.А., Бирюков Б.В., Марков А.А., Адян С.И., Вольфенгаген В.Э., Драгалин А.Г., Колмогоров А.Н., Минц Г.Е., Ногина Е.Ю. показать полностью..., Семенов А.Л.

188 статей, 5 книг, 39 докладов на конференциях, 31 тезисы докладов, 4 НИР, 8 членств в программных комитетах, 21 дипломная работа, 7 учебных курсов

Количество цитирований статей в журналах по данным Web of Science: 163, Scopus: 4

IstinaResearcherID (IRID): 17907951

Деятельность

• Статьи в журналах

  • 
    • 2000 Solution of the Hilbert central problem following Kolmogorov
    • Kuzichev A.S.
    • в журнале Doklady Mathematics, издательство Maik Nauka/Interperiodica Publishing (Russian Federation), том 61, № 2, с. 212-215
  • 
    • 2000 Решение проблемы Гильберта по Колмогорову
    • Кузичев А.С.
    • в журнале Доклады Академии наук, издательство ФГБУ "Издательство "Наука" (Москва), том 371, № 3, с. 303-306
  • 
    • 1999 A version of formalization of Cantor's set theory
    • Kuzichev A.S.
    • в журнале Doklady Mathematics, издательство Maik Nauka/Interperiodica Publishing (Russian Federation), том 60, № 3, с. 424-426
  • 
    • 1999 Kolmogorov reduction and consistency
    • Kuzichev A.S.
    • в журнале Doklady Mathematics, издательство Maik Nauka/Interperiodica Publishing (Russian Federation), том 60, № 1, с. 32-34
  • 
    • 1999 Вариант формализации канторовской теории множеств
    • Кузичев А.С.
    • в журнале Доклады Академии наук, издательство ФГБУ "Издательство "Наука" (Москва), том 369, № 6, с. 740-742
  • 
    • 1999 Колмогоровская редукция и непротиворечивость
    • Кузичев А.С.
    • в журнале Доклады Академии наук, издательство ФГБУ "Издательство "Наука" (Москва), том 367, № 2, с. 161-163
  • • 1996 Sof’ya Aleksandrovna Yanovskaya’s work in the field of mathematical logic
    • Markov A.A., Kuzichev A.S., Kuzicheva Z.A.
    • в журнале Modern Logic, том 6, № 1, с. 3-6
  • 
    • 1991 Paraconsistent intelligent systems of computer logics
    • Kuzichev A.S.
    • в журнале Cybernetics and Systems Analysis, издательство Springer Nature (Switzerland), том 27, № 1, с. 10-15 DOI
  • • 1991 Паранепротиворечивые интеллектуальные системы компьютерных логик
    • Кузичев А.С.
    • в журнале Кибернетика, № 1, с. 9-12, 34
  • • 1988 A conservative extension of a formal arithmetic
    • Kuzichev A.A., Kuzichev A.S.
    • в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 43, № 6, с. 56-58
  • 
    • 1988 Об одном консервативном расширении формальной арифметики
    • Кузичев Андрей Александрович, Кузичев Александр Сергеевич
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 6, с. 77-78
  • 
    • 1984 О представлении арифметики в комбинаторнополных системах
    • Кузичев А.С.
    • в журнале Доклады Академии наук, издательство ФГБУ "Издательство "Наука" (Москва), том 278, № 3, с. 537-541
  • 
    • 1983 A theorem on the consistency of the Zermelo – Fraenkel system ZF
    • Kuzichev A.S.
    • в журнале Doklady Akademii nauk SSSR, издательство Akademiia Nauk Sssr (Russian Federation), том 28, с. 748-752
  • 
    • 1983 Arithmetic completeness of type-free logic
    • Kuzichev A.S.
    • в журнале Doklady Akademii nauk SSSR, издательство Akademiia Nauk Sssr (Russian Federation), том 27, с. 767-772
  • 
    • 1983 Arithmetically consistent λ-theories of type-free logic
    • Kuzichev A.S.
    • в журнале Doklady Akademii nauk SSSR, издательство Akademiia Nauk Sssr (Russian Federation), том 27, с. 72-77
  • 
    • 1983 On an arithmetically consistent λ-theory
    • Kuzichev A.S.
    • в журнале Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, том 29, с. 385-416 DOI
  • • 1983 Set theory in type-free combinatorially complete systems
    • Kuzichev A.S.
    • в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), № 1, с. 36-43
  • 
    • 1983 The consistency of Quine’s system NF
    • Kuzichev A.S.
    • в журнале Doklady Akademii nauk SSSR, издательство Akademiia Nauk Sssr (Russian Federation), том 27, с. 633-638
  • 
    • 1983 Арифметическая полнота бестиповой логики
    • Кузичев А.С.
    • в журнале Доклады Академии наук, издательство ФГБУ "Издательство "Наука" (Москва), том 270, № 6, с. 1323-1327
  • 
    • 1983 Арифметически непротиворечивые λ-теории бестиповой логики
    • Кузичев А.С.
    • в журнале Доклады Академии наук, издательство ФГБУ "Издательство "Наука" (Москва), том 268, № 2, с. 288-292
  • 
    • 1983 Непротиворечивость системы NF Куайна
    • Кузичев А.С.
    • в журнале Доклады Академии наук, издательство ФГБУ "Издательство "Наука" (Москва), том 270, № 3, с. 537-541
  • • 1983 Об одной арифметически непротиворечивой λ-теории
    • Кузичев А.С.
    • в журнале Mathematical Logic Quarterly, издательство John Wiley & Sons Ltd. (United Kingdom), том 29, № 7, с. 385-416 DOI
  • 
    • 1983 Теорема о непротиворечивости системы ZF Цермело – Френкеля
    • Кузичев А.С.
    • в журнале Доклады Академии наук, издательство ФГБУ "Издательство "Наука" (Москва), том 273, № 5, с. 1053-1057
  • 
    • 1983 Теория множеств в бестиповых комбинаторно полных системах
    • Кузичев А.С.
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 3, с. 36-42
  • 
    • 1982 Arithmetically consistent λ-theories
    • Kuzichev A.S.
    • в журнале Doklady Akademii nauk SSSR, издательство Akademiia Nauk Sssr (Russian Federation), том 25, с. 122-127
  • 
    • 1982 Axiomatic theories in combinatorially complete systems
    • Kuzichev A.S.
    • в журнале Doklady Akademii nauk SSSR, издательство Akademiia Nauk Sssr (Russian Federation), том 25, с. 671-675
  • • 1982 Barendregt H.P. The Lambda calculus. Its Syntax and Semantics. Ламбда исчисление. Его синтаксис и семантика
    • Кузичев А.С., Никогосов С.Л.
    • в журнале Новые книги за рубежом, № 6, с. 8-10
  • 
    • 1982 On the representation of first order theories in type-free combinatorially complete systems
    • Kuzichev A.S.
    • в журнале Doklady Akademii nauk SSSR, издательство Akademiia Nauk Sssr (Russian Federation), том 26, с. 295-300
  • 
    • 1982 Аксиоматические теории в комбинаторно полных системах
    • Кузичев А.С.
    • в журнале Доклады Академии наук, издательство ФГБУ "Издательство "Наука" (Москва), том 264, № 3, с. 538-542
  • 
    • 1982 Арифметически непротиворечивые λ-теории
    • Кузичев А.С.
    • в журнале Доклады Академии наук, издательство ФГБУ "Издательство "Наука" (Москва), том 262, № 4, с. 795-799
  • 
    • 1982 О представлении теорий первого порядка в бестиповых комбинаторно полных системах
    • Кузичев А.С.
    • в журнале Доклады Академии наук, издательство ФГБУ "Издательство "Наука" (Москва), том 266, № 1, с. 23-27
  • 
    • 1981 Arithmetic theories constructed on the basis of λ-conversion
    • Kuzichev A.S.
    • в журнале Doklady Akademii nauk SSSR, издательство Akademiia Nauk Sssr (Russian Federation), том 24, с. 584-589
  • 
    • 1981 Арифметические теории, строящиеся на основе λ-конверсии
    • Кузичев А.С.
    • в журнале Доклады Академии наук, издательство ФГБУ "Издательство "Наука" (Москва), том 261, № 4, с. 792-796
  • 
    • 1980 On the imbedding of formal arithmetic in combinatorially complete systems
    • Kuzichev A.A., Kuzichev A.S.
    • в журнале Doklady Akademii nauk SSSR, издательство Akademiia Nauk Sssr (Russian Federation), том 21, с. 311-316
  • 
    • 1980 О погружении формальной арифметики в комбинаторно полные системы
    • Кузичев Андрей Александрович, Кузичев Александр Сергеевич
    • в журнале Доклады Академии наук, издательство ФГБУ "Издательство "Наука" (Москва), том 250, № 6, с. 1310-1315
  • 
    • 1979 Classes of objects having normal forms in the system of λ-conversion with logical operators
    • Kuzichev A.S.
    • в журнале Doklady Akademii nauk SSSR, издательство Akademiia Nauk Sssr (Russian Federation), том 20, № 6, с. 1202-1207
  • 
    • 1979 Formale Arithmetik in einem System der λ-Konversion mit logischen Operatoren
    • Kuzichev A.S.
    • в журнале Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, том 25, с. 299-314 DOI
  • 
    • 1979 Классы объектов, имеющих нормальные формы, в системе λ-конверсии с логическими операторами
    • Кузичев А.С.
    • в журнале Доклады Академии наук, издательство ФГБУ "Издательство "Наука" (Москва), том 249, № 1, с. 41-45
  • 
    • 1979 Формальная арифметика в системе λ-конверсии с логическими операторами
    • Кузичев А.С.
    • в журнале Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, том 25, с. 299-314 DOI
  • 
    • 1978 A theorem on the consistency of formal arithmetic
    • Kuzichev A.S.
    • в журнале Doklady Akademii nauk SSSR, издательство Akademiia Nauk Sssr (Russian Federation), том 19, с. 30-33
  • • 1978 Formal arithmetic in combinatorially complete systems. I
    • Kuzichev A.S.
    • в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 33, № 2, с. 9-15
  • • 1978 Formal arithmetic in combinatorially complete systems. II
    • Kuzichev A.S.
    • в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 33, № 3, с. 55-60
  • 
    • 1978 On the consistency of formal arithmetic
    • Kuzichev A.S.
    • в журнале Doklady Akademii nauk SSSR, издательство Akademiia Nauk Sssr (Russian Federation), том 19, с. 1486-1490
  • 
    • 1978 The theorem on the midsequent in the A-system of λ-conversion
    • Kuzichev A.S.
    • в журнале Doklady Akademii nauk SSSR, издательство Akademiia Nauk Sssr (Russian Federation), том 19, с. 1305-1308
  • 
    • 1978 О непротиворечивости формальной арифметики
    • Кузичев А.С.
    • в журнале Доклады Академии наук, издательство ФГБУ "Издательство "Наука" (Москва), том 243, № 5, с. 1123-1126
  • 
    • 1978 Теорема о непротиворечивости формальной арифметики
    • Кузичев А.С.
    • в журнале Доклады Академии наук, издательство ФГБУ "Издательство "Наука" (Москва), том 238, № 2, с. 269-272
  • 
    • 1978 Теорема о средней секвенции в А-системе λ-конверсии
    • Кузичев А.С.
    • в журнале Доклады Академии наук, издательство ФГБУ "Издательство "Наука" (Москва), том 243, № 1, с. 19-21
  • 
    • 1978 Формальная арифметика в комбинаторно полных системах. I
    • Кузичев А.С.
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 2, с. 13-21
  • 
    • 1978 Формальная арифметика в комбинаторно полных системах. II
    • Кузичев А.С.
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 3, с. 60-66
  • 
    • 1977 A system of λ-conversion with logical operators and an equality operator
    • Kuzichev A.S.
    • в журнале Doklady Akademii nauk SSSR, издательство Akademiia Nauk Sssr (Russian Federation), том 18, с. 1268-1272
  • • 1977 Cut theorem for ℜ-theories in combinatorially complete systems
    • Kuzichev A.S.
    • в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 32, № 1, с. 53-57
  • 
    • 1977 Formal arithmetic in the A-system of λ-conversion
    • Kuzichev A.S.
    • в журнале Doklady Akademii nauk SSSR, издательство Akademiia Nauk Sssr (Russian Federation), том 18, с. 1327-1330
  • • 1977 The theorem on cut for the ℜ-theories in combinatorially complete systems
    • Kuzichev A.S.
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 1, с. 62-67
  • 
    • 1977 Система λ-конверсии с логическими операторами и оператором равенства
    • Кузичев А.С.
    • в журнале Доклады Академии наук, издательство ФГБУ "Издательство "Наука" (Москва), том 236, № 4, с. 796-799
  • 
    • 1977 Теорема о сечении для ℜ-теорий в комбинаторно полных системах
    • Кузичев А.С.
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 1, с. 62-67
  • 
    • 1977 Формальная арифметика в А-системе λ-конверсии
    • Кузичев А.С.
    • в журнале Доклады Академии наук, издательство ФГБУ "Издательство "Наука" (Москва), том 236, № 5, с. 1072-1075
  • • 1976 Combinatorially complete systems with operators Ξ, F, Q, Π, ∃, P, ¬, &, ∨, ≡
    • Kuzichev A.S.
    • в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 31, № 5, с. 117-122
  • • 1976 Substitution operation in systems with unrestricted principle of combinatorial completeness
    • Kuzichev A.S.
    • в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 31, № 6, с. 44-49
  • 
    • 1976 The substitution operation in systems with the unrestricted principle of combinatorial completeness
    • Kuzichev A.S.
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), том 31, № 5, с. 56-62
  • 
    • 1976 Комбинаторно полные системы с операторами Ξ, F, Q, Π, ∃, P, ¬, &, ∨, ≡
    • Кузичев А.С.
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 6, с. 53-59
  • 
    • 1976 Операция подстановки в системах с неограниченным принципом комбинаторной полноты
    • Кузичев А.С.
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 5, с. 56-62
  • • 1974 Deductive operators of combinatory logic
    • Kuzichev A.S.
    • в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 29, № 4, с. 8-14
  • • 1974 On the expressive potentialities of deductive systems of λ- conversion and combinatory logic
    • Kuzichev A.S.
    • в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 29, № 5-6, с. 58-64
  • • 1974 Дедуктивные операторы комбинаторной логики
    • Кузичев А.С.
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 3, с. 13-21
  • • 1974 О выразительных возможностях дедуктивных систем λ-конверсии и комбинаторной логики
    • Кузичев А.С.
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 6, с. 19-26
  • 
    • 1973 A system of λ-conversion with a deductive formal implication operator
    • Kuzichev A.S.
    • в журнале Doklady Akademii nauk SSSR, издательство Akademiia Nauk Sssr (Russian Federation), том 14, с. 1584-1587
  • • 1973 Consistent extensions of pure combinatory logic
    • Kuzichev A.S.
    • в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 28, № 3, с. 66-72
  • 
    • 1973 Deductive-combinatorial construction of the theory of functionality
    • Kuzichev A.S.
    • в журнале Doklady Akademii nauk SSSR, издательство Akademiia Nauk Sssr (Russian Federation), том 14, с. 440-443
  • • 1973 Implicative systems of combinatory logic with a universal quantifier
    • Kuzichev A.S., Nikogosov S.L.
    • в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 26, № 3-4, с. 121-125
  • • 1973 On the subject and methods of combinatory logic
    • Kuzichev A.S.
    • в журнале History and Methodology of the Natural Sciences, № 14, с. 131-141
  • • 1973 The functionality operator in implicative systems of combinatory logic
    • Kuzichev A.S.
    • в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 27, с. 26-31
  • 
    • 1973 Дедуктивно-комбинаторное построение теории функциональностей
    • Кузичев А.С.
    • в журнале Доклады Академии наук, издательство ФГБУ "Издательство "Наука" (Москва), том 209, № 3, с. 541-543
  • 
    • 1973 Непротиворечивые расширения чистой комбинаторной логики
    • Кузичев А.С.
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 3, с. 76-81
  • 
    • 1973 Система λ-конверсии с дедуктивным оператором формальной импликации
    • Кузичев А.С.
    • в журнале Доклады Академии наук, издательство ФГБУ "Издательство "Наука" (Москва), том 212, № 6, с. 1290-1292
  • • 1972 Implicative systems of combinatory logic
    • Kuzichev A.S., Nikogosov S.L.
    • в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 25, № 3-4, с. 39-43
  • • 1972 The functionality operator in implicative systems of combinatory logic
    • Kuzichev A.S.
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), том 27, № 1, с. 37-43
  • 
    • 1972 Оператор функциональности в импликативных системах комбинаторной логики
    • Кузичев Александр Сергеевич
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 1, с. 37-43
  • • 1972 Рецензия на монографию: Hindley J. R., Lercher B., Seldin J. P. Introduction to combinatory logic. Cambridge University Press, 1972
    • Кузичев А.С.
    • в журнале Новые книги за рубежом. Сер. А, № 12, с. 3-5
  • • 1971 Corrections
    • Kuzichev A.S.
    • в журнале Doklady Mathematics, издательство Maik Nauka/Interperiodica Publishing (Russian Federation), том 12, № 5
  • • 1971 Fn-systems of combinatory logic. Generalized arithmetic operators
    • Kuzichev A.S.
    • в журнале Doklady Akademii nauk SSSR, издательство Akademiia Nauk Sssr (Russian Federation), том 12, с. 878-880
  • 
    • 1971 Fn-системы комбинаторной логики. Обобщенный арифметический оператор
    • Кузичев А.С.
    • в журнале Доклады Академии наук, издательство ФГБУ "Издательство "Наука" (Москва), том 198, № 4, с. 759-761
  • • 1971 Implicative systems of combinatory logic with universal quantifier
    • Kuzichev A.S., Nikogosov S.L.
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), том 26, № 4, с. 69-74
  • • 1971 Импликативные системы комбинаторной логики с квантором общности
    • Кузичев Александр Сергеевич, Никогосов Сергей Леонович
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 4, с. 69-74
  • • 1970 Implicative systems of combinatory logic
    • Kuzichev A.S., Nikogosov S.L.
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 3, с. 50-55
  • 
    • 1970 Гуманитарии сдают математику
    • Кузичев Александр Сергеевич, Успенский Владимир Андреевич
    • в журнале Квант, издательство Квант (М.), № 4, с. 35-40
  • • 1970 Импликативные системы комбинаторной логики
    • Кузичев Александр Сергеевич, Никогосов Сергей Леонович
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 3, с. 50-55
  • 
    • 1970 Ответы, указания, решения к статье "Гуманитарии сдают математику"
    • Кузичев Александр Сергеевич, Успенский Владимир Андреевич
    • в журнале Квант, издательство Квант (М.), № 4, с. 61-62
  • • 1968 Feedback formal neurons
    • Kuzichev A.S.
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), том 23, № 3, с. 52-58
  • • 1968 Формальные нейроны с обратными связями
    • Кузичев Александр Сергеевич
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 3, с. 52-58
  • • 1967 Бинарные матрицы формальных нейронов
    • Кузичев А.С.
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 1, с. 51-55
  • • 1967 Обобщенные формальные нейроны
    • Кузичев Александр Сергеевич
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 3, с. 10-15
  • • 1966 К вопросу о синтезе формальных нейронов
    • Гутчин И.Б., Кузичев А.С.
    • в журнале Известия Академии наук СССР. Техническая кибернетика, № 5, с. 120-123
  • • 1965 Об оптимальном синтезе формальных нейронов
    • Гутчин И.Б., Кузичев А.С.
    • в журнале Известия Академии наук СССР. Техническая кибернетика, № 2, с. 47-57

• Статьи в сборниках

  • • 2014 Логика комбинаторная
    • Кузичев А.С.
    • в сборнике Гуманитарная энциклопедия, место издания Центр гуманитарных технологий
  • • 2012 Некоторые размышления о проблемах математического образования
    • Кузичев А.С., Кузичева К.К.
    • в сборнике О математике: Проблемы преподавания, место издания Знак Москва, с. 115-117
  • • 2012 Секвенциальная формальная онтология и её развитие
    • Кузичев А.С.
    • в сборнике Аппликативные вычислительные системы: Труды 3-й международной конференции по аппликативным вычислительным системам (АВС’2012), Москва, 26-28 ноября 2012 г. / Под ред. Л.Ю. Исмаиловой, место издания НОУ Институт Актуального образования «ЮрИнфоР-МГУ» Москва, с. 41
  • • 2011 Дима Арнольд: что вспоминается
    • Кузичев А.С.
    • в сборнике Мы – математики с Ленинских гор. Часть 5. В.И. Арнольд, место издания Московский Парнас, Москва, с. 48
  • • 2011 Новые, колмогоровские теоретико-множественные, основания современной математики
    • Кузичев А.С.
    • в сборнике Технологии информатизации профессиональной деятельности (в науке, образовании и промышленности) — ТИПД-2011: Труды III Всероссийской науч. конференции с междунар. участием, место издания Удмуртский университет Ижевск, том 1, с. 51
  • • 2010 Диаграммы Венна
    • Кузичев Александр Сергеевич
    • в сборнике Новая философская энциклопедия в 4-х тт., 2-е изд, место издания Мысль Москва, том 1, с. 645
  • • 2010 Карри (Curry) Хаскелл Брук
    • Кузичев Александр Сергеевич, Кузичева Зинаида Андреевна
    • в сборнике Новая философская энциклопедия в 4-х тт., 2-е изд, место издания Мысль Москва, том 2, с. 224
  • • 2010 Клини (Кlееnе) Стивен Коул
    • Кузичев Александр Сергеевич, Кузичева Зинаида Андреевна
    • в сборнике Новая философская энциклопедия в 4-х тт., 2-е изд, место издания Мысль Москва, том 2, с. 260-261
  • • 2010 Комбинаторная логика
    • Кузичев Александр Сергеевич
    • в сборнике Новая философская энциклопедия в 4-х тт., 2-е изд, место издания Мысль Москва, том 2, с. 275-276
  • • 2010 Секвенциальная формальная онтология
    • Кузичев А.С.
    • в сборнике Аппликативные вычислительные системы. Труды 2-й международной конференции по аппликативным вычислительным системам АВС'2010, Москва, 29-31 октября 2010, место издания НОУ Институт Актуального образования ЮрИнфоР-МГУ Москва, с. 28-29
  • • 2010 Чёрч (Church) Алонзо
    • Кузичева Зинаида Андреевна, Кузичев Александр Сергеевич
    • в сборнике Новая философская энциклопедия в 4-х тт., 2-е изд, место издания Мысль Москва, том 4, с. 352
  • • 2010 Шейнфинкель Моисей Ильич
    • Кузичева Зинаида Андреевна, Кузичев Александр Сергеевич
    • в сборнике Новая философская энциклопедия в 4-х тт., 2-е изд, место издания Мысль Москва, том 4, с. 379
  • • 2010 Яновская Софья Александровна
    • Бирюков Борис Владимирович, Кузичева Зинаида Андреевна, Кузичев Александр Сергеевич
    • в сборнике Новая философская энциклопедия в 4-х тт., 2-е изд, место издания Мысль Москва, том 4, с. 513-514
  • • 2009 Некоторые вопросы математического образования
    • Кузичев А.С., Кузичева К.К.
    • в сборнике Образование и наука в третьем тысячелетии: материалы Пятой Международной научно-теоретической конференции. Ч. 1, место издания Издательство Алтайского государственного университета Барнаул, с. 56-58
  • • 2009 Некоторые размышления о проблемах математического образования
    • Кузичев А.С., Кузичева К.К.
    • в сборнике Мы – математики с Ленинских гор. Часть 4, место издания Москва, с. 79-80
  • • 2009 Секвенциальное построение логико-математических теорий
    • Кузичев А.С.
    • в сборнике Труды Всероссийской Конференции «Знания-Онтологии-Теории» (ЗОНТ-09), Новосибирск, Том.1, место издания Новосибирск, с. 28-35
  • • 2009 Секвенциальные генценовские построения без правила логического сечения
    • Кузичев А.С.
    • в сборнике Философия математики: актуальные проблемы. Материалы Второй международной научной конференции, место издания МАКС Пресс Москва, с. 95-98
  • • 2009 Секвенциальный логико-математический аппарат расширения модели вычислений
    • Кузичев А.С.
    • в сборнике Труды II Всероссийской научной конференции с международным участием "Технологии информатизации профессиональной деятельности (в науке, образовании и промышленности)" ТИПД-2009, место издания изд-во Удмуртского государственного университета Ижевск
  • • 2008 Ламбда-конверсия в информационных технологиях
    • Кузичев А.С., Кузичева К.К.
    • в сборнике Информационные технологии в науке, образовании и экономике. Материалы III Всероссийской научной конференции 10-14 ноября 2008 г, место издания Якутский государственный университет, Якутск, том 2, с. 24-27
  • • 2008 О преподавании теорем Гёделя
    • Кузичев А.С.
    • в сборнике Проблеми викладання логiки та дисциплiн логiчного циклу: Мiжнародна науково-практична конференцiя (15-16 травня 2008 року): Матерiали доповiдей та виступiв, место издания Видавничо-полiграфiчний центр “Киïвський унiверситет” Киев, с. 170-172
  • • 2008 Расширение среды вычислений информационных систем
    • Кузичев А.С.
    • в сборнике Аппликативные вычислительные системы: Труды конференции по аппликативным вычислительным системам (АВС’2008), место издания НОУ Институт Актуального образования «ЮрИнфоР-МГУ» Москва, с. 153-190
  • • 2007 Two-level Sequential Computational Model for Information Systems
    • Kuzichev Alexander
    • в сборнике Software Engineering Conference (Russia) «Path to Competitive Advantage» SEC(R)2007, место издания TEKAMA Moscow, с. 215
  • • 2007 Алгоритм доказательства непротиворечивости
    • Кузичев А.С.
    • в сборнике Мы – математики с Ленинских гор. Часть 3, место издания Книжник Москва, с. 191-195
  • • 2007 Из истории оснований современной математики
    • Кузичев А.С.
    • в сборнике Проблемы историко-научных исследований в математике и математическом образовании. Международная научная конференция. Пермь, 7-9 сентября 2007 г, место издания ПГПУ Пермь, с. 72-79
  • • 2007 Методы доказательства непротиворечивости по Гильберту и Колмогорову
    • Кузичев А.С.
    • в сборнике Труды Пятых Колмогоровских чтений, место издания изд-во ЯГПУ Ярославль, с. 9-17
  • • 2007 О поездке на Международный конгресс математиков в Мадриде
    • Кузичев А.С.
    • в сборнике Мы – математики с Ленинских гор. Часть 3, место издания Книжник Москва, с. 188-189
  • • 2007 Об одной теоретико-множественной идее Колмогорова
    • Кузичев А.С.
    • в сборнике Мы – математики с Ленинских гор. Часть 3, место издания Книжник Москва, с. 173-183
  • • 2007 Программа Колмогорова и негёделевские двухъярусные секвенциальные интеллектуальные системы в основаниях теоретико-множественной математики
    • Кузичев А.С.
    • в сборнике Мы – математики с Ленинских гор. Часть 3, место издания Книжник Москва, с. 183-188
  • • 2007 Прогулка с Гёделем
    • Кузичев А.С.
    • в сборнике Мы – математики с Ленинских гор. Часть 3, место издания Книжник Москва, с. 189-191
  • • 2007 Расширение вычислительной модели информационных систем
    • Кузичев А.С., Галстян Э.М., Мажирин И.В.
    • в сборнике Информационные технологии в науке, образовании и экономике. Материалы II Всероссийской научной конференции 6-8 ноября 2007 г, место издания Якутский государственный университет Якутск, том 2, с. 37-39
  • • 2006 Математическое мышление и синергетика
    • Кузичев А.С., Кузичева К.К.
    • в сборнике Вторые Курдюмовские чтения: Материалы международной междисциплинарной научной конференции "Идеи синергетики в естественных науках", место издания Тверской государственный университет Тверь, с. 76-78
  • • 2006 Программа Колмогорова и секвенциальные интеллектуальные системы
    • Кузичев А.С.
    • в сборнике Материалы IX Международной конференции "Интеллектуальные системы и компьютерные науки" (23-27 октября 2006 г.), место издания Изд-во механико-математического факультета МГУ Москва, том 2, с. 164-166
  • • 2006 Программа Колмогорова, интеллектуальные системы и теоремы Гёделя о неполноте
    • Кузичев А.С.
    • в сборнике Искусственный интеллект: Междисциплинарный подход, место издания ИИнтеЛЛ Москва, с. 330-346
    • редакторы Дубровский Давид Израилевич, Лекторский В.А.
  • • 2006 Секвенциальное построение интеллектуальных систем с принципом комбинаторной полноты
    • Кузичев А.С.
    • в сборнике Машины. Люди. Ценности. Сборник научных трудов, место издания Издательство Курганского государственного университета, Курган, с. 31-32
  • • 2005 Андрей Андреевич Марков
    • Кузичев Александр Сергеевич
    • в сборнике Мы – математики с Ленинских гор. Часть 2, место издания Москва, с. 163
  • • 2005 Колмогоров Андрей Николаевич
    • Кузичев Александр Сергеевич
    • в сборнике Мы – математики с Ленинских гор. Часть 2, место издания Москва, с. 164-165
  • • 2005 Колмогоровские основания математики
    • Кузичев А.С.
    • в сборнике Труды Третьих Колмогоровских чтений, издательство Изд-во ЯГПУ (Ярославль), с. 388-404
  • • 2005 Колмогоровские основания математики и образование
    • Кузичев А.С.
    • в сборнике Математика. Компьютер. Образование. Сборник научных трудов. Выпуск 12, место издания НИЦ "Регулярная и хаотическая динамика", Москва-Ижевск, том 1, с. 100-112
  • • 2005 Московский университет в моей жизни
    • Кузичев А.С.
    • в сборнике Мы – математики с Ленинских гор. Часть 2, место издания Москва, с. 157-167
  • • 2005 Нам дороги эти позабыть нельзя
    • Кузичев А.С.
    • в сборнике Мы – математики с Ленинских гор. Часть 2, место издания Москва, с. 248-251
  • • 2005 Размышления-итоги
    • Кузичев Александр Сергеевич
    • в сборнике Мы – математики с Ленинских гор. Часть 2, место издания Москва, с. 165-167
  • • 2005 Рыбников Константин Алексеевич
    • Кузичев Александр Сергеевич
    • в сборнике Мы – математики с Ленинских гор. Часть 2, место издания Москва, с. 160-161
  • • 2005 Софья Александровна Яновская
    • Кузичев Александр Сергеевич
    • в сборнике Мы – математики с Ленинских гор. Часть 2, место издания Москва, с. 161-162
  • • 2001 Карри (Curry) Хаскелл Брук
    • Кузичев Александр Сергеевич, Кузичева Зинаида Андреевна
    • в сборнике Новая философская энциклопедия. В 4-х т, место издания Мысль Москва, том 2
  • • 2001 Клини (Кlееnе) Стивен Коул
    • Кузичев Александр Сергеевич, Кузичева Зинаида Андреевна
    • в сборнике Новая философская энциклопедия. В 4-х т, место издания Мысль Москва, том 2
  • • 2001 Комбинаторная логика
    • Кузичев Александр Сергеевич
    • в сборнике Новая философская энциклопедия. В 4-х т, место издания Мысль Москва, том 2
  • • 2001 Чёрч (Church) Алонзо
    • Кузичева Зинаида Андреевна, Кузичев Александр Сергеевич
    • в сборнике Новая философская энциклопедия. В 4-х т, место издания Мысль Москва, том 4
  • • 2001 Шейнфинкель Моисей Ильич
    • Кузичева Зинаида Андреевна, Кузичев Александр Сергеевич
    • в сборнике Новая философская энциклопедия. В 4-х т, место издания Мысль Москва, том 4
  • • 2001 Яновская Софья Александровна
    • Бирюков Борис Владимирович, Кузичева Зинаида Андреевна, Кузичев Александр Сергеевич
    • в сборнике Новая философская энциклопедия. В 4-х т, место издания Мысль Москва, том 4, с. 514
  • • 2000 Диаграммы Венна
    • Кузичев Александр Сергеевич
    • в сборнике Новая философская энциклопедия, место издания Мысль М, том 1
  • • 1999 Вычислимость как стиль математических теорий
    • Кузичева З.А., Кузичев А.С.
    • в сборнике Стили в математике: социокультурная философия математики, серия Труды Московского семинара по философии математики, место издания РХГИ Санкт-Петербург, с. 377-387
    • редактор Барабашев А.Г.
  • • 1999 Ответ на комментарии А.Г. Барабашева, А.Н. Кричевца, Л.О. Шашкина
    • Кузичева З.А., Кузичев А.С.
    • в сборнике Стили в математике: социокультурная философия математики, серия Труды Московского семинара по философии математики, место издания РХГИ Санкт-Петербург, с. 389-390
    • редактор Барабашев А.Г.
  • • 1998 О редукции выводов арифметики в логику высказываний
    • Кузичев А.С.
    • в сборнике Методология математического моделирования, серия VI, место издания София, Болгария, с. 152-157
  • • 1997 Комментарий к статье Б.С. Чендова "Проблема взаимоотношения конечного и бесконечного в современной математике"
    • Кузичев Александр Сергеевич
    • в сборнике Бесконечность в математике: философские и исторические аспекты, серия Труды Московского семинара по философии математики, место издания Янус-К Москва, с. 134-135
    • редактор Барабашев А.Г.
  • • 1997 Комментарий к статье М.С. Бургина "Подходы к понятию актуальной бесконечности в математике"
    • Кузичев Александр Сергеевич, Кузичева Зинаида Андреевна
    • в сборнике Бесконечность в математике: философские и исторические аспекты, серия Труды Московского семинара по философии математики, место издания Янус-К Москва, с. 107
    • редактор Барабашев А.Г.
  • • 1997 Комментарий к статье Н.С. Ермолаевой "Конечное и бесконечное в трудах П.Л. Чебышева"
    • Кузичева Зинаида Андреевна, Кузичев Александр Сергеевич
    • в сборнике Бесконечность в математике: философские и исторические аспекты, серия Труды Московского семинара по философии математики, место издания Янус-К Москва, с. 149-150
    • редактор Барабашев А.Г.
  • • 1997 Ответ на комментарии Л.О. Шашкина, В.К. Петросяна
    • Кузичева Зинаида Андреевна, Кузичев Александр Сергеевич
    • в сборнике Бесконечность в математике: философские и исторические аспекты, серия Труды Московского семинара по философии математики, место издания Янус-К Москва, с. 119
    • редактор Барабашев А.Г.
  • • 1997 Системы с бесконечной логикой и неограниченным принципом свертывания. К 150-летию со дня рождения Г. Кантора
    • Кузичева Зинаида Андреевна, Кузичев Александр Сергеевич
    • в сборнике Бесконечность в математике: философские и исторические аспекты, серия Труды Московского семинара по философии математики, место издания Янус-К Москва, с. 108-119
    • редактор Барабашев А.Г.
  • • 1995 Autonymy
    • Kuzichev A.S.
    • в сборнике Encyclopaedia of Mathematics, место издания Springer US, том 1
  • • 1995 Proof
    • Kuzichev A.S.
    • в сборнике Encyclopaedia of Mathematics, место издания Springer US, том 4
  • • 1994 Аппликативные вычислительные системы и непротиворечивость
    • Кузичев А.С.
    • в сборнике Пути повышения интеллектуализации САПР. Материалы научного семинара (г. Судак, Новый Свет), место издания МГИЭМ, Москва, с. 11-12
  • • 1993 Venn diagram
    • Kuzichev A.S.
    • в сборнике Encyclopaedia of Mathematics, место издания Kluwer Academic Publishers, том 9
  • 
    • 1992 Математическая логика и теория алгоритмов на механико-математическом факультете МГУ
    • Колмогоров А.Н., Адян С.И., Драгалин А.Г., Кузичев А.С., Ногина Е.Ю., Семенов А.Л., Успенский В.А.
    • в сборнике Математика в Московском университете, место издания Изд. Московского унив Москва, с. 128-155
  • • 1991 Proof
    • Kuzichev A.S.
    • в сборнике Encyclopaedia of Mathematics, место издания Kluwer Academic Publishers, том 7
  • • 1990 О дедуктивных основах математического моделирования
    • Кузичев А.С.
    • в сборнике Методология математического моделирования, серия I, место издания Болгарская Академия наук София, Болгария, с. 51-53
  • • 1990 Программные средства логико-аппликативной моделирующей базы данных
    • Вольфенгаген В.Э., Кузичев А.С., Храпко Р.В., Яцук В.Я.
    • в сборнике II Всесоюзная конференция "Искусственный интеллект-90", место издания Минск, том 3, с. 44-47
  • • 1989 Многослойная аппликативная вычислительная модель для представления знаний
    • Айтьян С.Х., Александрова И.А., Кузичев А.С.
    • в сборнике ЭВМ новых поколений и перспективы их использования в народном хозяйстве, место издания МДНТП Москва, с. 56-58
  • • 1989 Паранепротиворечивость интеллектуальных систем компьютерных логик
    • Кузичев А.С.
    • в сборнике Технология проектирования интеллектуальных систем, место издания МДНТП Москва, с. 132-139
  • • 1988 Аппликативные вычислительные системы компьютерной логики
    • Кузичев А.С.
    • в сборнике Экспертные системы в научных исследованиях, автоматизации проектирования и производства. Материалы Всесоюзного научно-технического семинара, место издания Москва
  • • 1987 Autonymy
    • Kuzichev A.S.
    • в сборнике Encyclopaedia of Mathematics, место издания Kluwer Academic Publishers, том 1
  • • 1986 Синтаксически полные системы и теорема о непротиворечивости формальной арифметики
    • Кузичев А.С.
    • в сборнике Концептуальное проектирование банков данных, место издания МДНТП Москва, с. 94-102
  • • 1982 Арифметические теории в бестиповых комбинаторно полных системах
    • Кузичев Александр Сергеевич
    • в сборнике Логика и основания математики. Материалы к VIII Всесоюзной конференции «Логика и методология науки». Паланга, 26-28 сентября 1982 г, с. 47-49
  • • 1982 Работы С.А. Яновской в области математической логики
    • Марков Андрей Андреевич, Кузичев Александр Сергеевич, Кузичева Зинаида Андреевна
    • в сборнике Женщины – революционеры и ученые, место издания Наука, Москва, с. 96-99
  • • 1980 Sequential Systems of λ-Conversion and of Combinatory Logic
    • Kuzichev Alexander S.
    • в сборнике Seldin J.P., Hindley J.R. (eds). To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, место издания Academic Press, с. 141-155
  • • 1980 О доказательствах непротиворечивости теорий первого порядка
    • Кузичев А.С.
    • в сборнике История и методология естественных наук. Выпуск ХXV. Математика, механика, место издания изд-во МГУ Москва, с. 97-103
  • • 1979 Доказательство
    • Кузичев Александр Сергеевич
    • в сборнике Математическая энциклопедия, серия Математическая энциклопедия, место издания Советская энциклопедия Москва, том 2, с. 372
  • • 1979 Исследование комбинаторно полных систем
    • Кузичев Андрей Александрович, Кузичев Александр Сергеевич
    • в сборнике Логический анализ естественных языков. Материалы Второго Советско-финского коллоквиума по логике, место издания Институт философии АН СССР Москва, с. 46-50
  • • 1979 О формализации логико-математических теорий: дедуктивные системы с неограниченным принципом комбинаторной полноты
    • Кузичев Александр Сергеевич
    • в сборнике Логический анализ естественных языков. Материалы Второго Советско-финского коллоквиума по логике, место издания Институт философии АН СССР Москва, с. 51-55
  • • 1978 Парадокс Карри в комбинаторно полных системах
    • Кузичев А.С.
    • в сборнике История и методология естественных наук. Выпуск ХХ. Математика, механика, место издания изд-во МГУ, Москва, с. 81-98
  • • 1977 Автонимия
    • Кузичев Александр Сергеевич
    • в сборнике Математическая энциклопедия, серия Математическая энциклопедия, место издания Советская энциклопедия Москва, том 1
  • • 1977 Венна диаграмма
    • Кузичев Александр Сергеевич
    • в сборнике Математическая энциклопедия, серия Математическая энциклопедия, место издания Советская энциклопедия Москва, том 1, с. 653-654
  • • 1974 Задача Венна
    • Кузичев А.С.
    • в сборнике История и методология естественных наук. Выпуск ХVI. Математика, механика, место издания изд-во МГУ, Москва, с. 128-136
  • • 1974 Принцип комбинаторной полноты в математической логике
    • Кузичев А.С.
    • в сборнике История и методология естественных наук. Выпуск ХVI. Математика, механика, место издания изд-во МГУ, Москва, с. 106-127
  • • 1973 Класс (в логике)
    • Кузичев Александр Сергеевич
    • в сборнике Большая Советская Энциклопедия, место издания Советская энциклопедия Москва, том 12, с. 267
  • • 1973 О предмете и методах комбинаторной логики
    • Кузичев А.С.
    • в сборнике История и методология естественных наук. Выпуск XIV. Математика, механика, место издания изд-во МГУ Москва, с. 131-141
  • • 1971 Венн Джон
    • Кузичев Александр Сергеевич
    • в сборнике Большая Советская энциклопедия, место издания Советская энциклопедия Москва, том 4
  • • 1971 Некоторые вопросы истории и методологии комбинаторной логики
    • Кузичев Александр Сергеевич
    • в сборнике История и методология естественных наук. Выпуск ХI. Математика, механика, место издания изд-во МГУ, Москва, с. 95-97
  • • 1971 Некоторые свойства комбинаторов Шейнфинкеля–Карри
    • Кузичев А.С.
    • в сборнике Комбинаторный анализ. Выпуск 1, место издания изд-во МГУ Москва, с. 105-119
  • • 1970 Решение некоторых задач математической логики с помощью диаграмм Венна
    • Кузичев Александр Сергеевич
    • в сборнике Исследование логических систем, место издания Наука Москва, с. 282-331
    • редактор Таванец Петр Васильевич
  • • 1969 Диаграммы Венна и их применение в теории нейронных сетей
    • Кузичев Александр Сергеевич
    • в сборнике Математические вопросы управления производством. Выпуск 1. Под общ. ред. Л.А. Люстерника, место издания МГУ, Москва, с. 101-104
  • • 1967 Запрещающие волокна формальных нейронов
    • Кузичев Александр Сергеевич
    • в сборнике Кибернетику - на службу коммунизму, серия Математические вопросы кибернетики. Техническая кибернетика. Бионика. Биологическая кибернетика. Химическая кибернетика, место издания Энергия Москва-Ленинград, том 4, с. 208-214
    • редактор Берг Аксель Иванович
  • • 1967 О построении исчисления высказываний методом диаграмм Венна
    • Кузичев Александр Сергеевич
    • в сборнике Кибернетику - на службу коммунизму, серия Математические вопросы кибернетики. Техническая кибернетика. Бионика. Биологическая кибернетика. Химическая кибернетика, место издания Энергия Москва-Ленинград, том 4, с. 199-207
    • редактор Берг Аксель Иванович
  • • 1967 Построение надежных нейронных сетей из не вполне надежных элементов с помощью исчисления предикатов
    • Кузичев Александр Сергеевич
    • в сборнике Кибернетику - на службу коммунизму, серия Математические вопросы кибернетики. Техническая кибернетика. Бионика. Биологическая кибернетика. Химическая кибернетика, место издания Энергия Москва-Ленинград, том 4, с. 169-198
    • редактор Берг Аксель Иванович
  • • 1967 Синтез оптимальных формальных нейронов при помощи аналитических выражений с использованием волокон типа "запрет-запрета"
    • Гутчин Израиль Борисович, Кузичев Александр Сергеевич
    • в сборнике Вопросы бионики. Сборник статей, отв. ред. М.Г. Гаазе-Рапопорт, место издания Наука Москва, с. 144-147
  • • 1965 Некоторые вопросы теории надежных нейронных сетей
    • Гутчин И.Б., Кузичев А.С.
    • в сборнике Бионика : сборник статей / Академия наук СССР, Научный совет по комплексной проблеме "Кибернетика" ; отв. ред. М. Г. Гаазе-Рапопорт и В. Э. Якоби, место издания Наука Москва, с. 138-147

• Книги

  • • 2004 О негёделевской перестройке арифметики и других аксиоматических теорий первого порядка по Колмогорову. Доказательство их непротиворечивости
    • Кузичев А.С.
    • место издания Издательство механико-математического факультета МГУ Москва
  • • 1985 Научная редакция русского издания книги: Барендрегт Х. Ламбда-исчисление. Его синтаксис и семантика
    • Кузичев А.С.
    • место издания Мир Москва, 606 с.
  • • 1985 Предисловие к русскому изданию книги: Барендрегт Х. Ламбда-исчисление. Его синтаксис и семантика
    • Кузичев Александр Сергеевич, Минц Григорий Ефроимович
    • место издания Мир Москва, 606 с.
  • • 1968 Диаграммы Венна. История и применения
    • Кузичев А.С.
    • место издания Наука Москва, 252 с.
  • • 1967 Бионика и надежность. Элементы теории формальных нейронов
    • Гутчин И.Б., Кузичев А.С.
    • место издания Наука, Москва, 284 с.

• Доклады на конференциях

  • • 2011 Sequent logic in foundations of science: history and current research (Приглашенный)
    • Автор: Kuzichev Alexander
    • Logical and philosophical foundations of science and technology - historical development, contemporary investigations, and perspectives, Nancy, Франция, 22 июля 2011
  • • 2011 Two-level version of sequent logic: completeness and consistency aspects (Устный)
    • Автор: Alexander Kuzichev
    • 14th International Congress of Logic, Methodology and Philosophy of Science. July 19–26, 2011, Nancy, France, Нанси, Франция, 19-26 июля 2011
  • • 2010 Секвенциальная формальная онтология (Приглашенный)
    • Автор: Кузичев А.С.
    • Аппликативные Вычислительные Системы. 2-я Международная конференция по аппликативным вычислительным системам (АВС’2010), Москва, Россия, 29-31 октября 2010
  • • 2010 Sequential two-level formalization of mathematical theories (Устный)
    • Автор: Alexander Kuzichev
    • International Congress of Mathematicians 2010, Hyderabad (India), Индия, 19-27 августа 2010
  • • 2009 Ламбда-конверсия А. Чёрча и теория множеств Г. Кантора (секвенциальный вариант) (Устный)
    • Автор: Кузичев Александр Сергеевич
    • Шестые Смирновские чтения по логике. Международная научная конференция. 17-19 июня 2009 года, Москва, Россия, 2009
  • • 2009 Kolmogorov Program on Foundations of Mathematics (Устный)
    • Автор: Alexander Kuzichev
    • XXIII International Congress of History of Science and Technology, Budapest, Венгрия, 28 июля - 2 августа 2009
  • • 2009 Секвенциальные генценовские построения без правила логического сечения (Устный)
    • Автор: Кузичев Александр Сергеевич
    • Философия математики: актуальные проблемы. Вторая международная научная конференция (28-30 мая 2009, МГУ, философский ф-т), Москва, Россия, 28-30 мая 2009
  • • 2008 О разработке логико-математического аппарата "мыслящего" компьютера (Приглашенный)
    • Автор: Кузичев Александр Сергеевич
    • Научная конференция, посвящённая пятидесятилетию создания ЭВМ "Сетунь", Москва, Россия, 9 декабря 2008
  • • 2008 Из истории секвенциальных логик (Устный)
    • Автор: Кузичев Александр Сергеевич
    • Х Общероссийская научная конференция "Современная логика: проблемы теории, истории и применения в науке", Санкт-Петербург, Россия, 26-28 июня 2008
  • • 2008 Расширение среды вычислений информационных систем (Приглашенный)
    • Автор: Кузичев Александр Сергеевич
    • Аппликативные Вычислительные Системы Конференция по аппликативным вычислительным системам (АВС’2008), Москва, Россия, 29-30 апреля 2008
  • • 2007 Two-level Sequential Computational Model for Information Systems (Устный)
    • Автор: Kuzichev A.S.
    • Software Engineering Conference (Russia) "Path to Competitive Advantage", Москва, Россия, 1-2 ноября 2007
  • • 2007 Методы доказательства непротиворечивости оснований математики по Гильберту и Колмогорову (Пленарный)
    • Автор: Кузичев Александр Сергеевич
    • Пятые научные Колмогоровские чтения, г.Ярославль, Россия, 22-26 мая 2007
  • • 2007 Наивная теория множеств в основаниях современной математики (Устный)
    • Автор: Кузичев Александр Сергеевич
    • Ломоносовские чтения - 2007. Секция математики, МГУ им. М.В. Ломоносова, Механико-математический факультет, Россия, 16-25 апреля 2007
  • • 2006 Kolmogorov foundations of mathematics (Устный)
    • Автор: Kuzichev Alexander
    • ICM 2006 workshop "Kolmogorov foundations of mathematics", Мадрид, Испания, 30 августа 2006
  • • 2006 Proof of consistency of foundations of mathematics (Устный)
    • Автор: Alexander Kuzichev
    • International Congress of Mathematicians, , Madrid, Испания, 22-30 августа 2006
  • • 2006 А.Н. Колмогоров и теоремы Гёделя о неполноте. К 100-летию со дня рождения Курта Гёделя (Устный)
    • Автор: Кузичев Александр Сергеевич
    • Четвертые научные Колмогоровские чтения, г. Ярославль, Россия, 17-20 мая 2006
  • • 2006 Математическое мышление и синергетика (Устный)
    • Автор: Кузичев Александр Сергеевич
    • Вторые Курдюмовские чтения. Международная междисциплинарная научная конференция "Идеи синергетики в естественных науках", Тверь, Россия, 20-23 апреля 2006
  • • 2005 Пути Фреге и Колмогорова в основаниях математики (Устный)
    • Автор: Кузичев Александр Сергеевич
    • Ломоносовские чтения - 2005, Севастополь, 2005
  • • 2005 О роли теорем Гёделя о неполноте в основаниях наук (Устный)
    • Автор: Кузичев Александр Сергеевич
    • IV Российский философский конгресс: философия и будущее цивилизации, Москва, Россия, 24-28 мая 2005
  • • 2005 Искусственный интеллект и теоремы Гёделя (Устный)
    • Автор: Кузичев Александр Сергеевич
    • Всероссийская междисциплинарная конференция "Философия искусственного интеллекта", Москва, Россия, 17-19 января 2005
  • • 2005 Колмогоровские основания математики и образование (Пленарный)
    • Автор: Кузичев А.С.
    • XII международная конференция "Математика, компьютер, образование", Пущино, Россия, 17-22 января 2005
  • • 2004 Новое о парадоксе Рассела (Устный)
    • Автор: Кузичев Александр Сергеевич
    • Ломоносовские чтения - 2004. Секция математики, МГУ им. М.В. Ломоносова, Механико-математический факультет, Россия, 19-26 апреля 2004
  • • 2003 Колмогоровская редукция теорий первого порядка в логику высказываний (Устный)
    • Автор: Кузичев Александр Сергеевич
    • Ломоносовские чтения - 2003. Секция математики, МГУ им. М.В. Ломоносова, механико-математический факультет, Россия, 18-25 апреля 2003
  • • 2002 Реализация программы А.Н. Колмогорова по основаниям математики в виде теории Кантора-Чёрча-Генцена (Устный)
    • Автор: Кузичев Александр Сергеевич
    • Ломоносовские чтения - 2002. Секция математики, МГУ им. М.В. Ломоносова, Механико-математический факультет, Россия, 18-26 апреля 2002
  • • 2001 Историко-методологические проблемы математического образования (Устный)
    • Автор: Кузичев Александр Сергеевич
    • Научная конференция "Петербургская математическая школа в период реформ XIX века", посвященная 200-летию со дня рождения М.В. Остроградского, Санкт-Петербург, Россия, 24-28 сентября 2001
  • • 1998 Из истории теорий первого порядка (Устный)
    • Автор: Кузичев Александр Сергеевич
    • Ломоносовские чтения - 1998, Москва, МГУ имени М.В. Ломоносова, Россия, 23-29 апреля 1998
  • • 1997 Развитие идей Гильберта по основаниям математики в работах его последователей (Карри, Генцен, Черч и др.) (Устный)
    • Автор: Кузичев Александр Сергеевич
    • Научно-исследовательский семинар по истории и методологии математики и механики. Заседание 3 ноября 1997 г., Москва, МГУ имени М.В. Ломоносова, Россия, 3 ноября 1997
  • • 1997 О представлении канторовской теории множеств в общих дискретно-комбинаторных теориях (Устный)
    • Автор: Кузичев Александр Сергеевич
    • Ломоносовские чтения - 1997, Москва, МГУ им. М.В. Ломоносова, Россия, 22-29 апреля 1997
  • • 1996 Роль С.А. Яновской в развитии отечественной математической логики (Устный)
    • Автор: Кузичев Александр Сергеевич
    • Научно-исследовательский семинар по истории и методологии математики и механики. Заседание 11 ноября 1996 г., Москва, МГУ имени М.В. Ломоносова, Россия, 11 ноября 1996
  • • 1990 О парадоксе Есенина-Вольпина (Приглашенный)
    • Автор: Кузичев Александр Сергеевич
    • Научный семинар "Основания математики и информатика" под руководством Н.М. Нагорного, заседание 21 февраля 1990 г., Москва, Вычислительный центр Академии наук СССР, Россия, 21 февраля 1990
  • • 1989 Проблемы Гильберта о непротиворечивости оснований математики и паранепротиворечивые системы компьютерной логики (Устный)
    • Автор: Кузичев Александр Сергеевич
    • Ломоносовские чтения - 1989, Москва, Россия, 17-27 апреля 1989
  • • 1988 Аппликативные вычислительные системы компьютерной логики (Устный)
    • Автор: Кузичев Александр Сергеевич
    • Всесоюзный научно-технический семинар "Экспертные системы в научных исследованиях, автоматизации проектирования и производстве", Москва, Россия, 5-9 сентября 1988
  • • 1986 Анализ проблем непротиворечивости и степени противоречий в компьютерной логике (Пленарный)
    • Автор: Кузичев Александр Сергеевич
    • Первый научно-технический семинар "Интеллектуальные системы доступа к банкам данных", Дилижан, Армения, 19-21 ноября 1986
  • • 1985 О непротиворечивости одной аксиоматики теории множеств (Устный)
    • Автор: Кузичев Александр Сергеевич
    • Ломоносовские чтения - 1985, Москва., Россия, 15-26 апреля 1985
  • • 1984 Паранепротиворечивость и проблема доказательства непротиворечивости теории 1-го порядка (Приглашенный)
    • Автор: Кузичев А.С.
    • Научно-исследовательский семинар по логике и методологии науки, заседание 20 марта 1984 г., Москва, Россия, 20 марта 1984
  • • 1983 Бестиповые логики и непротиворечивость аксиоматических теорий. Исследование непротиворечивости систем NF Куайна и ZF Цермело – Френкеля (Устный)
    • Автор: Кузичев Александр Сергеевич
    • Ломоносовские чтения - 1983, Москва, МГУ, Россия, 25-29 апреля 1983
  • • 1982 Свойства бестиповых систем комбинаторной логики (Приглашенный)
    • Автор: Кузичев Александр Сергеевич
    • Третья Всесоюзная школа-семинар "Интеллектуальные банки данных", Бакуриани, Грузия, 24 февраля - 5 марта 1982
  • • 1979 Аппликативные вычислительные системы (Приглашенный)
    • Автор: Кузичев Александр Сергеевич
    • Всесоюзный научно-технический симпозиум "Диалоговые и фактографические системы информационного обслуживания", Москва, Россия, 23-25 октября 1979
  • • 1972 Дедуктивные системы комбинаторной логики (Устный)
    • Автор: Кузичев Александр Сергеевич
    • Ломоносовские чтения - 1972, г. Москва, МГУ им. М.В. Ломоносова, Россия, 5-7 апреля 1972

• Тезисы докладов

  • • 2011 Sequent logic in foundations of science: history and current research
    • Kuzichev Alexander
    • в сборнике Logic, Methodology and Philosophy of Science. Proceedings of the 14th International Congress (Nancy 2011), серия ICLMPS, место издания Division of Logic, Methodology and Philosophy of Science of the International Union of History and Philosophy of Science Nancy, тезисы, с. 304
  • • 2011 Two-level version of sequent logic: completeness and consistency aspects
    • Kuzichev Alexander, Kuzicheva Karolina
    • в сборнике Logic, Methodology and Philosophy of Science. Proceedings of the 14th International Congress (Nancy 2011), серия ICLMPS, место издания Division of Logic, Methodology and Philosophy of Science of the International Union of History and Philosophy of Science Nancy, тезисы, с. 36
  • • 2010 Sequent computational model based on lambda calculi
    • Kuzichev Alexander
    • в сборнике Mathematics in Science and Technology: Mathematical Methods, Models and Algorithms in Science and Technology. Abstracts of the Satellite Conference of ICM 2010, место издания New Delhi, тезисы
  • • 2010 Sequential two-level formalization of mathematical theories
    • Kuzichev Alexander, Kuzicheva Karolina
    • в сборнике International Congress of Mathematicians. Hyderabad, August 19-27, 2010. Abstracts, место издания Hindustan book agency, тезисы, с. 5
  • • 2009 Kolmogorov Program on Foundations of Mathematics
    • Kuzichev Alexander
    • в сборнике XXIII International Congress of History of Science and Technology, 28 July -2 August 2009, Book of Abstracts, место издания Budapest, Hungary, тезисы, с. 465-465
  • • 2009 Двухъярусные секвенциальные вычисления
    • Кузичев А.С., Кузичева К.К., Мажирин И.В., Пономарев И.Г.
    • в сборнике Математика. Компьютер. Образование. Сборник научных тезисов. Выпуск 16, место издания НИЦ "Регулярная и хаотическая динамика" Москва - Ижевск, тезисы
  • • 2009 Ламбда-конверсия А. Чёрча и теория множеств Г. Кантора (секвенциальный вариант)
    • Кузичев А.С.
    • в сборнике Шестые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2009 года, серия Смирновские чтения по логике, место издания Современные тетради Москва, тезисы, с. 22-23
    • редакторы Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Ивлев Юрий Васильевич, Маркин Владимир Ильич
  • • 2008 "Нетеряющая" вычислительная модель информационных систем
    • Кузичев А.С., Кузичева К.К., Галстян Э.М., Мажирин И.В.
    • в сборнике Математика. Компьютер. Образование. Сборник научных тезисов. Выпуск 15, место издания НИЦ "Регулярная и хаотическая динамика" Москва-Ижевск, тезисы
  • • 2008 Sequential computational model for information systems
    • Kuzichev Alexander
    • в сборнике LUMS 2nd International Conference on mathematics and its applications in information technology. Abstracts, место издания Lahore University of Management sciences, Department of Mathematics Lahore, тезисы, с. 35
  • • 2008 Из истории секвенциальных логик
    • Кузичев А.С.
    • в сборнике Современная логика: Проблемы теории, истории и применения в науке. Материалы X Общероссийской научной конференции, 26-28 июня 2008 г, серия Современная логика, место издания СПбГУ СПб, тезисы, с. 435-436
  • • 2007 Two-level Sequential Computational Model for Information Systems
    • Kuzichev Alexander
    • в сборнике Software Engineering Conference (Russia) "Path to Competitive Advantage" Conference Materials, место издания TEKAMA Moscow, тезисы, с. 72
  • • 2007 Двухступенчатая секвенциальная модель вычислений среды информационных систем
    • Кузичев А.С.
    • в сборнике Software Engineering Conference (Russia) "Path to Competitive Advantage" Conference Materials, место издания TEKAMA Moscow, тезисы, с. 72
  • • 2006 Kolmogorov foundations of mathematics
    • Kuzichev Alexander
    • в сборнике ICM 2006 Daily News, место издания Madrid, тезисы, с. 9
  • • 2006 Proof of consistency of foundations of mathematics
    • Kuzichev A.S.
    • в сборнике International Congress of Mathematicians, Madrid 2006. Abstracts, место издания European Mathematical Society, тезисы, с. 4-5
  • • 2006 Секвенциальное построение теорий первого порядка
    • Кузичев А.С., Кузичева К.К.
    • в сборнике Математика. Компьютер. Образование. Сборник научных тезисов. Выпуск 13, место издания НИЦ "Регулярная и хаотическая динамика" Москва-Ижевск, тезисы, с. 19
  • • 2005 О роли теорем Гёделя о неполноте в основаниях наук
    • Кузичев А.С.
    • в сборнике Философия и будущее цивилизации: Тезисы докладов и выступлений IV Российского философского конгресса: В 5 т, место издания Современные тетради М, том 1, тезисы, с. 726-727
  • • 2003 On Kolmogorov’s reduction of the set of all derivations of a theory to propositional logic
    • Кузичев А.С.
    • в сборнике Четвертые Смирновские чтения по логике. Материалы международной научной конференции. 28-30 мая 2005 года, серия Смирновские чтения по логике, место издания ИФРАН Москва, тезисы, с. 80-81
  • • 1988 Об одном методе доказательства непротиворечивости аксиоматических теорий
    • Кузичев А.С.
    • в сборнике Семиотические аспекты формализации интеллектуальной деятельности. Всесоюзная школа-семинар “Боржоми-88”. Тезисы докладов и сообщений, место издания ВИHИТИ Москва, тезисы
  • • 1984 О непротиворечивости одного фрагмента теории множеств
    • Кузичев А.С.
    • в сборнике Четвертый Всесоюзный семинар "Интеллектуальные банки данных". Тезисы докладов, место издания Нальчик, тезисы, с. 42-44
  • • 1982 О принципах и методах бестиповой логики
    • Кузичев Александр Сергеевич
    • в сборнике Шестая Всесоюзная конференция по математической логике. Тезисы докладов, серия Всесоюзная конференция по математической логике, место издания издательство Тбилисского университета Тбилиси, тезисы
  • • 1982 Свойства бестиповых систем комбинаторной логики
    • Кузичев Александр Сергеевич
    • в сборнике Третий Всесоюзный семинар "Интеллектуальные банки данных". Тезисы докладов, место издания Тбилиси, тезисы, с. 19-21
  • • 1981 Аксиоматические теории в аппликативных вычислительных системах
    • Кузичев А.С.
    • в сборнике II Всесоюзный симпозиум "Диалоговые и фактографические системы информационного обеспечения". Тезисы докладов, место издания Москва, тезисы, с. 89-90
  • • 1980 Секвенциальные системы λ-конверсии и комбинаторной логики
    • Кузичев Александр Сергеевич
    • в сборнике Второй Всесоюзный семинар "Интеллектуальные банки данных". Тезисы докладов, место издания Ереван, тезисы, с. 6-8
  • • 1979 Type-free extensions of the calculi of λ-conversion and of pure combinatory logic
    • Kuzichev A.S.
    • в сборнике Logic, Methodology and Philosophy of Science VI. Proceedings of the 6th International Congress of Logic, Methodology and Philosophy of Science, серия Studies in Logic and the Foundations of Mathematics, место издания North Holland Amsterdam, том 104, тезисы, с. 113-117
  • • 1979 Аппликативные вычислительные системы
    • Кузичев А.С.
    • в сборнике Всесоюзный симпозиум "Диалоговые и фактографические системы информационного обслуживания". Тезисы докладов, место издания ВНТИЦентр Москва, тезисы, с. 103-104
  • • 1979 Комбинаторно полные системы с ограничением на правило сечения
    • Кузичев А.С.
    • в сборнике Пятая Всесоюзная конференция по математической логике. Тезисы докладов, серия Всесоюзная конференция по математической логике, место издания Новосибирск: Институт математики Сибирского отделения АН СССР, тезисы, с. 77
  • • 1974 Исследование дедуктивных систем λ-конверсии и комбинаторной логики
    • Кузичев А.С.
    • в сборнике Теория логического вывода: Тезисы докладов Всесоюзного симпозиума (Москва, 25–27 марта 1974 г.). Часть I, место издания Москва, тезисы, с. 44-46
  • • 1972 Принцип дедуктивной полноты в комбинаторной логике
    • Кузичев А.С.
    • в сборнике Вторая Всесоюзная конференция по математической логике. Тезисы докладов, серия Всесоюзная конференция по математической логике, место издания Москва: Отделение математики АН СССР, тезисы, с. 24
  • • 1966 История развития геометрических методов в логике
    • Кузичев Александр Сергеевич
    • в сборнике Международный конгресс математиков 1966, Москва. Тезисы кратких научных сообщений. Секция 15, место издания Москва, тезисы, с. 18
  • • 1966 Некоторые задачи, относящиеся к логико-математическому аппарату нейронных схем
    • Кузичев Александр Сергеевич
    • в сборнике Проблемы нейрокибернетики. Тезисы докладов Симпозиума по нейрокибернетике (Дубна, 1-3 августа 1966 г.), серия Проблемы нейрокибернетики, место издания Академия наук СССР. Научный совет по комплексной проблеме "Кибернетика". Сеченовский ин-т физиологии 1 МОЛМИ им. Сеченова, Москва, тезисы, с. 19-20
  • • 1965 Синтез оптимальных формальных нейронов
    • Гутчин И.Б., Кузичев А.С.
    • в сборнике Вторая Всесоюзная конференция по бионике, место издания Москва, тезисы, с. 6

• НИРы

  • • 1 января 2013 - 31 декабря 2015 Формальные онтологии - комбинаторно-логический подход
    • Механико-математический факультет
    • Руководитель: Кузичев А.С.
  • • 1 января 2013 - 31 декабря 2015 Формальные онтологии - комбинаторно-логический подход
    • Механико-математический факультет
    • Руководитель: Кузичев А.С.
  • • 1 января 2010 - 31 декабря 2012 Секвенциальная формальная онтология
    • Механико-математический факультет
    • Руководитель: Кузичев А.С.
  • • 1 января 2007 - 31 декабря 2009 Расширение модели вычислений среды информационных систем
    • Механико-математический факультет
    • Руководитель: Кузичев А.С.

• Участие в программных комитетах конференций

  • • 5-8 ноября 2014 IV Всероссийская научная конференция с международным участием "Технологии информатизации профессиональной деятельности (в науке, образовании и промышленности)" ТИПД-2014
    • Член программного комитета
    • Ижевск, Удмуртский государственный университет, Россия
  • • 14-15 декабря 2012 Аппликативные Вычислительные Системы. 3-я Международная конференция по аппликативным вычислительным системам (АВС’2012)
    • Член программного комитета
    • Москва, Россия
  • • 20-26 сентября 2012 The 14th International Workshop on Computer Science and Information Technologies (CSIT’2012)
    • Член программного комитета
    • Ufa – Hamburg – Norwegian Fjords, Норвегия
  • • 8-12 ноября 2011 III Всероссийская научная конференция с международным участием "Технологии информатизации профессиональной деятельности (в науке, образовании и промышленности)" ТИПД-2011
    • Член программного комитета
    • Удмуртский государственный университет, Ижевск, Россия
  • • 27 сентября - 2 октября 2011 The 13th International Workshop on Computer Science and Information Technologies (CSIT’2011)
    • Член программного комитета
    • Garmisch-Partenkirchen, Германия
  • • 29-31 октября 2010 Аппликативные Вычислительные Системы. 2-я Международная конференция по аппликативным вычислительным системам (АВС’2010)
    • Член программного комитета
    • Москва, Россия
  • • 13-19 сентября 2010 The 12th International Workshop on Computer Science and Information Technologies (CSIT'2010)
    • Член программного комитета
    • Ufa - Moscow - Saint-Petersburg, Россия
  • • 29-30 апреля 2008 Аппликативные Вычислительные Системы Конференция по аппликативным вычислительным системам (АВС’2008)
    • Член программного комитета
    • Москва, Россия

• Руководство дипломными работами

  • • 1988 О редукции исчислений теории множеств Неймана – Бернайса – Гёделя в синтаксически полные системы
    • Научный руководитель: Кузичев Александр Сергеевич
    • Автор: Веденьёва Оксана Леонидовна (Специалист)
  • • 1987 О редукции теории множеств Цермело–Френкеля в синтаксически полные системы
    • Научный руководитель: Кузичев Александр Сергеевич
    • Автор: Богатырев Алексей Евгеньевич (Специалист)
  • • 1987 Логическая модель сопоставления объектов в информационных системах
    • Научный руководитель: Кузичев Александр Сергеевич
    • Автор: Безденежных Игорь Владимирович (Специалист)
  • • 1986 Формальная арифметика в РП-системе λ-конверсии
    • Научный руководитель: Кузичев Александр Сергеевич
    • Автор: Герасимов Роман Петрович (Специалист)
  • • 1986 Исследование выводов формальной арифметики погружением в системы с формальной непротиворечивостью
    • Научный руководитель: Кузичев Александр Сергеевич
    • Автор: Настенко Игорь Анатольевич (Специалист)
  • • 1986 .
    • Научный руководитель: Кузичев Александр Сергеевич
    • Автор: Митин Александр Владимирович (Специалист)
  • • 1984 Теорема о средней секвенции в A0-системе
    • Научный руководитель: Кузичев Александр Сергеевич
    • Автор: Пономарев Игорь Геннадьевич (Специалист)
  • • 1984 Приложения нестандартного анализа к теории рядов Фурье
    • Научный руководитель: Кузичев Александр Сергеевич
    • Автор: Панина Л.И. (Специалист)
  • • 1984 Исследование применимости исчислений λ-конверсии к задаче представления знаний фреймами
    • Научный руководитель: Кузичев Александр Сергеевич
    • Автор: Инфанов Александр Петрович (Специалист)
  • • 1984 Исследование применений дедуктивных расширений λ-исчислений к задаче представления значения фраз естественного языка
    • Научный руководитель: Кузичев Александр Сергеевич
    • Автор: Шульпеков Владимир Александрович (Специалист)
  • • 1981 Комбинаторно полная система с равенством
    • Научный руководитель: Кузичев Александр Сергеевич
    • Автор: Коробочкина Марина (Специалист)
  • • 1981 Доказательство непротиворечивости арифметики первого порядка в арифметике второго порядка
    • Научный руководитель: Кузичев Александр Сергеевич
    • Автор: Зиньковская Екатерина Михайловна (Специалист)
  • • 1981 Арифметика Пеано первого порядка с предикатом доказуемости в форме Россера
    • Научный руководитель: Кузичев Александр Сергеевич
    • Автор: Чжен Лилия Филипповна (Специалист)
  • • 1980 Некоторые вопросы логики 2-го порядка
    • Научный руководитель: Кузичев Александр Сергеевич
    • Автор: Момынов Мухтар Кенесович (Специалист)
  • • 1979 Понятие теории в F-системе комбинаторной логики
    • Научный руководитель: Кузичев Александр Сергеевич
    • Автор: Арзамаскин А.В. (Специалист)
  • • 1975 Главные тип-схемы объектов комбинаторной логики
    • Научный руководитель: Кузичев Александр Сергеевич
    • Автор: Матвеева Л.В. (Специалист)
  • • 1974 Выразительные возможности системы комбинаторной логики с операторами P и Π
    • Научный руководитель: Кузичев Александр Сергеевич
    • Автор: Ашуров Игорь Назирович (Специалист)
  • • 1974 .
    • Научный руководитель: Кузичев Александр Сергеевич
    • Автор: Шумихин Виктор Павлович (Специалист)
  • • 1973 .
    • Научный руководитель: Кузичев Александр Сергеевич
    • Автор: Дымент Елена Зеликовна (Специалист)
  • • 1971 Некоторые вопросы теории функциональности Карри
    • Научный руководитель: Кузичев Александр Сергеевич
    • Автор: Иглицкий Александр Михайлович (Специалист)
  • • 1970 О непротиворечивости некоторых исчислений комбинаторной логики
    • Научный руководитель: Кузичев Александр Сергеевич
    • Автор: Шабунин Леонид Васильевич (Специалист)

• Авторство учебных курсов

  • • 2002 Новые, колмогоровские основания математики, являющиеся негёделевскими
    • Автор: Кузичев Александр Сергеевич
  • • 1993 Общие дискретно-комбинаторные теории
    • Автор: Кузичев Александр Сергеевич
  • • 1988 Проблемы оснований математики
    • Автор: Кузичев Александр Сергеевич
  • • 1988 Проблемы логики и методологии математики
    • Автор: Кузичев Александр Сергеевич
  • • 1980 Основы теории доказательств
    • Автор: Кузичев Александр Сергеевич
  • • 1971 История логики и методология науки
    • Автор: Кузичев Александр Сергеевич
  • • 1967 Комбинаторная логика и λ-исчисление
    • Автор: Кузичев Александр Сергеевич