Конструктивная математическая логика с точки зрения классической
	Категория: Естественные науки » Физико-математические науки » Математика, геометрия, статистика
		Автор: Новиков П.С. Издательство: Наука Год издания: 1977 Количество страниц: 328 Язык: русский Формат: DJVU Размер: 3,8 Мб Каталожный номер: 112928	В книге проводится четкое различие между классическими и конструктивными логическими операциями. С этой целью для одноименных операций используются различные обозначения в классическом и конструктивном случаях. Книга доступна широкому кругу читателей. Для ее чтения не требуется специальной подготовки. В то же время, насыщенность разнообразными техническими деталями делает ее полезной для лиц, занимающихся исследованием математических аспектов конструктивной логики. Ключевые теги: математическая логика
	Похожие публикации: Популярная логика, 3-е изд. Математическая обработка наблюдений, 2-е изд. Лекции по функциональному анализу Математическая логика Атмосфера Земли и энергетика Логика в лицах и символах Основы дискретной математики Логика вопросов и ответов Механика нефтегазоносного пласта Математическая теория логического вывода
	Ссылки на файлообменные сервера Размер архива в Mb http://dfiles.ru/files/k8l5tmwum 3.8 http://tweekalien.rusfolder.net/files/41452160 3.8
	Оцените эту публикацию!
	0 Опубликовал: xalienx | 14-08-2014, 00:35 | Просмотров: 349   Комментарии (0)  Печать