Пр 3-7/89
Стрыгин, Владимир Захарович.
Разрешимость исчисления предикатов 1-й ступени / В. З. Стрыгин ; Центр. аэрогидродинам. ин-т им. Н. Е. Жуковского. - М. : ЦАГИ, 2005. - 3 с. - (Препринт / Центр. аэрогидродинам. ин-т им. Н. Е. Жуковского ; № 145). - Библиогр.: с. 3. - Б. ц. р.ББК В123,09
Рубрики: Математическая логика--Препринты
Примірників всього: 1
ХР (1)
Свободны: ХР (1)