Алиб.ру - Главная
|
Последние поступления
|
Форум
|
Продавцы книг
|
Как купить книгу
|
Как продать книги
|
Ищу книгу
|
Доставка
|
О сайте
|
|
|
Все книги в продаже (3209210) Загрузка книг проводится ежедневно в 9 и 23ч. |
Такеути Г. Теория доказательств.
Книга посвящена одному из основных разделов математической логики - теории доказательств. Кроме традиционных результатов по системам первого порядка, таких, как устранимость сечений и полнота интуиционистского и классического исчисления предикатов, неполнота и непротиворечивость арифметики, в книге приводятся недавние достижения в этой области, включая доказательство устранимости сечений в простой теории типов и непротиворечивости ограниченной части математического анализа. Большое место уделено инфинитарной логике - логике с бесконечно длинными формулами. Многие из приведенных результатов принадлежат самому автору, известному специалисту по теории доказательств. Книга будет полезна специалистам по математической логике, студентам, аспирантам и всем тем, кто интересуется вопросами оснований математики и математической логикой.
| № | Продавец, Описание, Состояние, (Фото) | Купить по цене |
|---|---|---|
| 1 | BS-Seven Санкт-Петербург. Москва Мир 1978г. 414 с., илл. Твердый переплет, увеличенный формат. Состояние: Ближе к очень хорошему Фото |
Купить за 600 руб. |
| 2 | BS-Orlik2 Петрозаводск и др. М.: Мир, 1978г. 416 с. Твердый переплет, увеличенный формат. Состояние: в блоке - почти отличное, переплета - очень хорошее. Книга комиссионная. Бесплатная доставка по России (заказная авиа). |
Купить за 1000 руб. |
| 3 | BS-NAL65 Москва. Москва Мир 1978г. 414 с., илл. твердый переплет, немного увеличенный формат. Состояние: Твердо хорошее вид |
Купить за 1000 руб. |
| ^ Наверх! |
Лучшие продавцы >>>
|
КАРТА сайта · Алиб.ру - Главная · Авторам и правообладателям · Указатель серий · Alib в Українi · Пластинки · Марки · Добавить в Избранное
Copyright © 1999 - 2026,
Ведущий и K°. Все права защищены.
Вопросы, предложения пишите в книгу
|
|
| | 0 c | |