Справочная книга по математической логике. В 4-х частях. Часть 4. Теория доказательств и конструктивная математика
Барвайс Дж. (ред.)
Настоящее издание состоит из четырех книг: «Теория моделей», «Теория множеств», «Теория рекурсии», «Теория доказательств и конструктивная математика». В оригинале оно составляло один том, который при переводе для удобства был разбит на четыре книги, соответствующие четырем частям исходной книги. Русский перевод каждой части дополнен статьей советских авторов, отражающей дополнительные аспекты, не нашедшие отражения в основном тексте издания. Издание в целом рассчитано на всех математиков, начиная со студентов университетов, интересующихся развитием современной математики и логики.
Thể loại:
Năm:
1983
Nhà xuát bản:
Наука, ФМЛ
Ngôn ngữ:
russian
Trang:
393
File:
DJVU, 5.40 MB
IPFS:
,
russian, 1983
Litres
Bạn có muốn thêm cừa hàng sách? Xin liên lạc theo support@z-lib.fm
Chuyển đổi tập tin
Các kết quả tìm kiếm tiếp theo
Các lợi ích khác 
![Захарьящев М.В., Янов Ю.И. (ред) — Математическая логика в программировании [Сборник переводов статей]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/12f7c4750dee23f7a7bf1b440548b4f6e5455def17f1dd1231945895c03de9ff.jpg)
Từ khóa thường sử dụng nhất
Các mục liên quan
