Книга Математика Метаматематики
Продаю книгу:
Расёва Е., Сикорский Р. Математика Метаматематики (пер. с англ. В.А. Янкова) (Математическая логика и основания математики). - М.: Наука, 1972. - 592 с.. - [УДК 512 Расева]
Метаматематика - раздел математической логики, изучающий основания математики и теорию доказательств при помощи построения символических языков (формальных систем, исчислений), а также формализованнные математические теории, т.е. теории, построенные в виде символических языков. В книге излагаются алгебраические и топологические методы, применяемые в метаматематике. В 1-й части даются все необходимые сведения из алгебры и топологии. От читателей требуется только знание основных понятий теории множеств. Краткое содержание: Часть I: Решетки. (Предварительные сведения из топологии, алгебры и теории решеток. Булевы алгебры. Топологические булевы алгебры. Псевдобулевы алгебры). Часть II: Классическая логика (Формализованные математич. теории. Алгебра формализованных языков. Классические пропозициональные исчисления. Классические элементарные формализованные теории). Часть III: Неклассические логики (Интуиционистские пропозициональные исчисления. Интуиционистские элементарные формализованные теории. Позитивная логика и модальная логика). Прим. переводчика. Библиография. Список символов. Именной и предметный указатели
* Книги из домашней библиотеки. Большинство книг в очень хорошем состоянии. У некоторых старых книг (до 1955 года издания) состояние хорошее.
** Местонахождение - г. Москва. Способ передачи - при личной встрече (с почтой предпочитаю не связываться)
*** Предложение актуально! Сайт регулярно обновляется. Последнее обновление (этой страницы) 2025-03-24 17:37.
Для контакта используйте email:
sw710@narod.ru (Хочу купить или договориться о цене)
См. также Список книг на продажу
Продажа книги домашней (личной, семейной) библиотеки (собрания). Ответ за запрос "Куплю (хочу купить) книгу (или где продается книга) Математика Метаматематики автора(ов) Расёва Е., Сикорский Р."
|