Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Makkai M., Reyes G.E. — First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
Makkai M., Reyes G.E. — First order categorical logic. Model-theoretical methods in the theory of topoi and related categories



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: First order categorical logic. Model-theoretical methods in the theory of topoi and related categories

Авторы: Makkai M., Reyes G.E.

Аннотация:

We arrived at the idea of writing a book on the connections of
first order model theory and categories in early 19 74 when we realized
that it was impossible to communicate some of our fresh results and
proofs because of the lack of a basic theory and a coherent terminology
connecting logic and categories. As expected in such cases, it has
taken us longer than promised to many people to complete the arduous
task of writing this book.


Язык: en

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Издание: 1

Год издания: 1977

Количество страниц: 301

Добавлена в каталог: 02.08.2021

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте