Вид документа : Однотомное издание Шифр издания : Автор(ы) : Ершов Ю.Л. Заглавие : !-определимость и теорема Геделя о неполноте : Учеб.пособие Выходные данные : Новосибирск: Науч.кн., 1995 Колич.характеристики :75 c. ISBN, Цена 5-88119-003-3: Б.ц. ГРНТИ : ; 27.03.19 УДК : Предметные рубрики: Математическая логика