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