Введение в математическую логику
	Категория: Естественные науки » Физико-математические науки » Математика, геометрия, статистика
		Автор: Мендельсон Э. Издательство: Наука Год издания: 1971 Количество страниц: 322 Язык: русский Формат: DJVU Размер: 3 Мб Каталожный номер: 12012	В книге Э. Мендельсона Введение в математическую логику дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств, отсутствующие в книге С. К. Клини Введение в метаматематику, которая до настоящего времени служила наиболее полным пособием по математической логике. Следует однако отметить, что в отличие от книги С. К. Клини в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логики.
	Похожие публикации: Вводный курс математической логики Математическая логика Элементы теории множеств и математической логики в школьном курсе математик ... Занимательная логика Введение в метаматематику Справочная книга по математической логике. Часть 2. Теория множеств Справочная книга по математической логике. Часть 1. Теория моделей Математическая логика Введение в математическую логику Математическая логика
	Ссылки на файлообменные сервера Размер архива в Mb http://rapidshare.com/files/34621609/Mendelson-Vvedenie_v_math_logic.rar 3.7
	Оцените эту публикацию!
	0 Опубликовал: mzimakova | 5-06-2007, 00:00 | Просмотров: 1321   Комментарии (0)  Печать