E-mail:
Ключевые слова: комбинаторная логика, лямбда-исчисление, исчисление секвенций, теория множеств, теория доказательств
Коды УДК: 510.1:517.12

Основные темы научной работы:

математическая логика и основания математики

Основные публикации:

1. Кузичев А. С., Диаграммы Венна, Наука, Москва, 1968

Публикации в базе данных Math-Net.Ru

Персональные страницы:

• 
• 
• ИСТИНА

Организации:

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