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