Элементы математической логики и теория множеств
Слупецкий Е., Борковский Л.
Книга, принадлежащая перу известных польских логиков, посвящена изложению основ современной формальной (математической или теоретической, или символической) логики и теории множеств для читателей гуманитарного профиля. В ней содержится систематическое изложение широкого круга вопросов из различных разделов математической логики, разъясняются основные теоретико-множественные понятия и аппарат, а также освещаются некоторые важнейшие методологические аспекты математической логики и оснований математики. Книга Е. Слупецкого и Л. Борковского является хорошей основой для дальнейшего изучения более трудных и обстоятельных работ по современной логике и основаниям математики.
Категорії:
Рік:
1965
Видавництво:
Прогресс
Мова:
russian
Сторінки:
367
Файл:
DJVU, 2.33 MB
IPFS:
,
russian, 1965