Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
Интеллектуальная Система Тематического Исследования НАукометрических данных
Главная
Поиск
Статистика
О проекте
Помощь
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
журнал
Индексирование: нет
Период активности журнала: не указан
Добавил в систему:
Кузичев Александр Сергеевич
Статьи, опубликованные в журнале
1983
On an arithmetically consistent λ-theory
Kuzichev A.S.
в журнале
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
, том 29, с. 385-416
DOI
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
Формальная арифметика в системе λ-конверсии с логическими операторами
Кузичев А.С.
в журнале
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
, том 25, с. 299-314
DOI