Publication: Простой метод записи и проверки формул исчисления предикатов
Дата
1990
Авторы
Поваров, Г. Н.
Journal Title
Journal ISSN
Volume Title
Издатель
Аннотация
Описание
Ключевые слова
Препринт , Математическая логика , Предикаты , Кванторы , Автор МИФИ
Цитирование
Поваров, Г. Н. Простой метод записи и проверки формул исчисления предикатов : препринт 043-90 / Г. Н. Поваров. - Москва : МИФИ, 1990. - 19 с..