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

	Такеути, Г. Теория доказательств
	Издательство: М.: Мир
	Переплет: твердый; 410 страниц; 1978 г.
	ISBN: [не указан]; Формат: увеличенный
	Язык: русский
	На сайте с 28.03.2006

Аннотация

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

Формат - 145 х 220 мм

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

Продавец: radamant2 (Москва, RU/77 )   Состояние: отличное; В продаже с 17.04.2024 Условия доставки и оплаты Способы доставки: встреча по договоренности; почтой по предоплате Способы оплаты: наличными; перевод на банковский счет; банковской картой; электронный платеж (WM, Y.Д и т.п.) Дополнительно: ОБЯЗАТЕЛЬНО ПРОЧТИТЕ ПЕРЕД ЗАКАЗОМ! Уважаемые покупатели! Думаю, до конца мая возможны проблемы с поиском заказанных книг. Склад переезжает на новый адрес, и как следствие образовался "бардак", с которым очень сложно и трудоемко бороться. Приношу Вам свои извинения, и надеюсь на Ваше понимание. С уважением, Геннадий. Оплата наличными или на карту при встрече. ПОСТОЯННОЕ МЕСТО ВСТРЕЧ У М. ... [подробнее]

Цена 450 руб

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

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

листать