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