RUSSIAN

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

By Барвайс Дж. (ред.)

Book information

Publisher
Наука, ФМЛ
Year
1983
Language
russian
Format
DJVU
Filesize
5 MB (5659614 bytes)
Pages
393\393
Topic
Mathematics Logic
Library
Kolxo3
DPI
600
Orientation
portrait
Paginated
no
Scanned
yes
Time added
2013-12-29 19:00:00

Description

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

Similar books