Матэнциклопедия Персона

Г. Е. Минц

http://libmeta.ru/resource/mathenc/author/a1596

Входящие связи

← автор · 9

Арифметика формальная Гейтинга формальная система Генцена формальная система Гёделя теорема о неполноте Гёделя теорема о полноте Дедукции теорема Конструктивная логика Конструктивная семантика Логико-математические исчисления