УДК: 510.6(03)
Справочная книга по математической логике
Всі категорії
Вся тематика
Фізико-математичні науки
Математика
Фундаментальні та загальні питання математики
Математична логіка
26.06.2008 -- М. : Наука. Гл. ред. физ.-мат. лит.
Книга
Навчальне видання
Мова:rus
Відомості про
відповідальність : пер. с англ. Г.В. Давыдова, Г.Е. Минца;
под ред. Дж. Барвайса
Номер частини : В 4-х частях. Ч.
4
Назва частини : Теория доказательств и конструктивная
математика
Загальні зауваження :
http://ebooks.znu.edu.ua/files/mathbooks/2008-5/mat_logika/b
arvaiys_dzh__spravochnaz_kniga_po_matematicheskoiy_logike__c
hast__4__teoriz_dokazatel_stv_i_konstrukti.djv
Дата внесення :
26.06.2008
Переглядів: 0
Популярність: 0%