Справочная книга по математической логике. В 4-х частях. Часть 1. Теория моделей
Барвайс Дж. (ред.)
Настоящее издание состоит из четырех книг: «Теория моделей», «Теория множеств», «Теория рекурсии», «Теория доказательств и конструктивная математика». В оригинале оно составляло один том, который при переводе для удобства был разбит на четыре книги, соответствующие четырем частям исходной книги. Русский перевод каждой части дополнен статьей советских авторов, отражающей дополнительные аспекты, не нашедшие отражения в основном тексте издания. Издание в целом рассчитано на всех математиков, начиная со студентов университетов, интересующихся развитием современной математики и логики.
Kategorie:
Rok:
1982
Wydawnictwo:
Наука, ФМЛ
Język:
russian
Strony:
393
Plik:
DJVU, 6.98 MB
IPFS:
,
russian, 1982
Litres
Chcesz dodać księgarnię? Skontaktuj się z nami na support@z-lib.do
Konwertuj pliki
Więcej wyników wyszukiwania
Inne korzyści 
