Справочник "Биофизики России"

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

Специализация (ключевые слова)

математическая логика и основания математики, теория множеств, теория доказательств, комбинаторная логика, лямбда-исчисление, исчисление секвенций