Каталог: Наука, образование »•» Математика, статистика

	Нагорный, Н.М. К вопросу о непротиворечивости классической формальной арифметики Серия: Сообщения по прикладной математике
	Издательство: М.: ВЦ РАН
	Переплет: мягкий; 26 страниц; 1995 г.
	ISBN: [не указан]; Формат: стандартный
	Язык: русский
	На сайте с 07.01.2022

Аннотация

В брошюре приводится доказательство непротиворечивости классического (т.е. с постулированным законом исключенного третьего) логико-арифметического исчисления, основанное на рассмотрении одной модификации введенного С.К. Клини понятия реализуемой логико-арифметической формулы.
Тираж 120 экз.

В продаже  Хочу купить

Искать похожие  только название автор и название

Добавить объявление продаю хочу купить

листать