22.12 С-74 Справочная книга по мат. логике [Текст] : в 4 ч.; Пер. с англ. - М. : Наука.Гл.ред.физ.-мат.лит., 1983 - . Ч.4 : Теория доказательств и конструктивная математика. - 392с. : ил. - Б. ц. Кл.слова (ненормированные): математическая логика -- справочники -- рекурсия Экземпляры всего: 2 АБ (2) Свободны: АБ (2) |