Проблемы разрешимости и конструктивные модели Ю. Л. Ершов

Сохранить в:
Библиографические подробности
Автор: Ершов Ю. Л.
Тип документа: Книга
Язык:Russian
Год издания: Москва Наука 1980
Ключевые слова:
LEADER 00945nam0a2200253 i 4500
001 4A374716-7F58-41E8-9D33-D1CA8EE2865F
010 |d р.3.10 
100 |a 20170220d1980 k y0rusy02 ca 
101 0 |a rus 
102 |a RU 
105 |a y z 000#y 
200 1 |a Проблемы разрешимости и конструктивные модели  |f Ю. Л. Ершов 
210 |a Москва  |c Наука  |d 1980 
215 |a 415с.  |d 20 см 
225 2 |a Математическая логика и основания математики 
320 |a Библиография: с. 397-409 (259 названий). - Указатель обозначений, предметов: с. 410-415 
606 |a Алгебра высшая 
686 |a 22  |2 rubbk 
686 |a 27.17  |2 rugasnti 
700 1 |a Ершов  |b Ю. Л.  |g Юрий Леонидович 
801 0 |b ГПНТБ России  |a RU  |c 20170220