15  май

Справочная книга по математической логике. В 4-х частях скачать


Справочная книга по математической логике. В 4-х частях
Название: Справочная книга по математической логике: В 4-х частях. Ч. I. Теория моделей. Ч. II. Теория множеств. Ч. III. Теория рекурсии. Ч. IV. Теория доказательств и конструктивная математика.
Автор: Дж. Барвайс (редактор)
Издательство: М.: Наука. Главная редакции физико-математической литературы
Год: 1982, 1983
Страниц: 1516
Формат: djvu
Размер: 45,37 Мб
Качество: хорошее, текстовый слой, оглавление.

Математическая логика традиционно подразделяется на четыре раздела: теория моделей, теория множеств, теория рекурсии и теория доказательств. Каждая из четырех частей начинается с короткого предисловия к следующим за ним главам. Каждая глава написана для тех, кто не является специалистом в данной области. В оригинале издание составляло один том, который при переводе для удобства был разбит на четыре книги, соответствующие четырем частям исходной книги. Издание рассчитано на всех математиков, начиная со студентов университетов, интересующихся развитием современной математики и логики.







Разместил atan26 в категорию КНИГИ / Наука и учёба (книги)
Справочная книга по математической логике. В 4-х частях скачали 276 раз






Похожие по теме публикации:


Комментарии:
Добавление комментария

Ваше Имя:
Ваш E-Mail: (необязательно)
  • bowtiesmilelaughingblushsmileyrelaxedsmirk
    heart_eyeskissing_heartkissing_closed_eyesflushedrelievedsatisfiedgrin
    winkstuck_out_tongue_winking_eyestuck_out_tongue_closed_eyesgrinningkissingstuck_out_tonguesleeping
    worriedfrowninganguishedopen_mouthgrimacingconfusedhushed
    expressionlessunamusedsweat_smilesweatdisappointed_relievedwearypensive
    disappointedconfoundedfearfulcold_sweatperseverecrysob
    joyastonishedscreamtired_faceangryragetriumph
    sleepyyummasksunglassesdizzy_faceimpsmiling_imp
    neutral_faceno_mouthinnocent