RUSSIAN

Справочная книга по математической логике: В 4-х частях. Ч. IV. Теория доказательств и конструктивная математика

By Барвайс Дж.

Book information

Language
russian
Format
DJVU
Filesize
9 MB (9419620 bytes)
Pages
\391
Topic
Mathematics Logic
Library
twirpx
Time added
2017-08-07 07:01:42
Математика;Математическая логика;Теория доказатель

Description

М.: Наука. Главная редакции физико-математической литературы, 1983. — 392 с.Качество: хорошее, текстовый слой, оглавление.Математическая логика традиционно подразделяется на четыре раздела: теория моделей, теория множеств, теория рекурсии и теория доказательств.Каждая из четырех частей начинается с короткого предисловия к следующим за ним главам. Первая глава или две первые главы в каждой части носят вводный характер. Далее следуют главы, в которых рассматриваются более специальные вопросы, а также приложения математической логики. Каждая глава написана для тех, кто не является специалистом в данной области. Издание рассчитано на всех математиков, начиная со студентов университетов, интересующихся развитием современной математики и логики.

Similar books