Publication:
Простой метод записи и проверки формул исчисления предикатов

Простая страница элемента
dc.contributor.authorПоваров, Г. Н.
dc.date.accessioned2025-10-07T14:17:47Z
dc.date.available2025-10-07T14:17:47Z
dc.date.issued1990
dc.identifier.citationПоваров, Г. Н. Простой метод записи и проверки формул исчисления предикатов : препринт 043-90 / Г. Н. Поваров. - Москва : МИФИ, 1990. - 19 с..
dc.identifier.urihttps://openrepository.mephi.ru/handle/123456789/38946
dc.languageruru
dc.subjectПрепринт
dc.subjectМатематическая логика
dc.subjectПредикаты
dc.subjectКванторы
dc.subjectАвтор МИФИ
dc.titleПростой метод записи и проверки формул исчисления предикатов
dc.typeПрепринт
dspace.entity.typePublication
Файлы
Original bundle
Теперь показываю 1 - 1 из 1
Уменьшенное изображение
Name:
1990_povarov_gn_prostoi_metod_zapisi_i_proverki.pdf
Size:
5.32 MB
Format:
Adobe Portable Document Format
Description:
Download
Коллекции
Препринты