Конечно аксиоматизируемые теории
	Категория: Естественные науки » Физико-математические науки » Математика, геометрия, статистика
		Автор: Перетятькин М.Г. Издательство: Новосибирск: Научная книга Год издания: 1996 isbn: 5-88119-010-6 Количество страниц: 327 Язык: русский Формат: PDF Размер: 29 Мб Каталожный номер: 94644	Описывается универсальная конструкция, осуществляющая сведение многих проблем для конечно аксиоматизируемых теорий к более простому случаю рекурсивно аксиоматизируемых теорий. Представлено компактное замкнутое изложение решения проблемы Ханфа и проблемы Воота — Морли. Даны аналоги теоремы Раиса для предложений, характеризация алгебры Линденбаума логики предикатов, классификация схожести теорий. Для интересующихся математической логикой.
	Похожие публикации: Правила жизни от Альберта Эйнштейна Прогресс без социальной революции? (Теории «модернизации» и буржуазные соци ... Градуированные алгебры и 14-я проблема Гильберта Критика современных буржуазных социологических теорий Аристотель и традиционная логика Элементы теории множеств и математической логики в школьном курсе математик ... Национализм и модернизм. Критический обзор современных теорий наций и нацио ... Введение в индийскую логику навья-ньяя Теории личности: сравнительный анализ Введение в математическую логику
	Ссылки на файлообменные сервера Размер архива в Mb http://dfiles.ru/files/iowu0iijj 29
	Оцените эту публикацию!
	0 Опубликовал: nbvcxz | 28-04-2013, 15:42 | Просмотров: 620   Комментарии (0)  Печать