Конструктивная математическая логика с точки зрения классической

Купить бумажную книгу и читать

Купить бумажную книгу

По кнопке выше можно купить бумажные варианты этой книги и похожих книг на сайте интернет-магазина "Лабиринт".

Using the button above you can buy paper versions of this book and similar books on the website of the "Labyrinth" online store.

Реклама. ООО "ЛАБИРИНТ.РУ", ИНН: 7728644571, erid: LatgCADz8.

Название : Конструктивная математическая логика с точки зрения классической

Автор: Новиков П.С.

Издательство: Наука

Язык: русский

Год: 1977

Формат: djvu

Размер: 3,8 Мб

Страницы: 328

Описание:

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

Скачать книгу:

Дата создания страницы: