Справочная книга по математической логике. Часть 4. Теория доказательств
	Категория: Естественные науки » Физико-математические науки » Математика, геометрия, статистика
		Автор: Дж. Барвайс Издательство: Наука Год издания: 1983 Количество страниц: 392 Язык: русский Формат: DJVU Размер: 4 Мб Каталожный номер: 14324	Настоящее издание состоит из четырех книг: "Теория моделей", "Теория множеств", "Теория рекурсии", "Теория доказательств и конструктивная математика". Русский перевод каждой части дополнен статьей советских авторов, отражающей дополнительные аспекты, не нашедшие места в основном тексте издания. Издание в целом рассчитано на всех математиков, начиная со студентов университетов, интересующихся развитием современной математики и логики.
	Похожие публикации: Современная теория множеств: борелевские и проективные множества Конструктивная теория доказательств и нестандартный анализ Основы дискретной математики Математические термины: Справ.-библиогр. словарь Справочная книга по математической логике. Часть 3. Теория рекурсии Справочная книга по математической логике. Часть 2. Теория множеств Справочная книга по математической логике. Часть 1. Теория моделей Введение в математическую логику Математическая логика Основные структуры анализа. Теория множеств
	Ссылки на файлообменные сервера Размер архива в Mb http://rapidshare.com/files/65206466/SKPML_4.rar 4.12
	Оцените эту публикацию!
	0 Опубликовал: flashsoft | 29-10-2007, 00:00 | Просмотров: 1285   Комментарии (0)  Печать