Уведомления
Уведомлений еще не было
Смешарики. История культовой Вселенной
Смешарики. История культовой Вселенной

Мария Корнилова

8.6
164 оценки
Ртуть
Ртуть

Нил Стивенсон

8.4
470 оценок
Академия вампиров. Кровные узы. Книга 4. Пламенное сердце
Академия вампиров. Кровные узы. Книга 4. Пламенное сердце

Райчел Мид

8.8
1377 оценок
Ассистентка Злодея
Ассистентка Злодея

Мерер Ханна Николь

8.0
1 оценка
Убийства единорога
Убийства единорога

Джон Диксон Карр

8.0
0 оценок
Гимнастика Цигун. Подробный самоучитель здоровья и долголетия
Гимнастика Цигун. Подробный самоучитель здоровья и долголетия

Лао Минь

7.0
1 оценка

Книги Авраама Робинсона

Авраам Робинсон - автор 1 книги. Из известных произведений можно выделить: Введение в теорию моделей и метаматематику алгебры. Все книги можно читать онлайн и бесплатно скачивать на нашем портале.

Фильтры
Год написания

Тип сюжета
Тема
Герои
Место действия
Время действия
0.0
0
0
Введение в теорию моделей и метаматематику алгебры
Авраам Робинсон
Введение в теорию моделей и метаматематику алгебры

Настоящая книга посвящена теории моделей - одной из самых молодых отраслей современной математики, возникшей на стыке алгебры и математической логики. Основное содержание книги составляют известная теорема Геделя о полноте узкого исчисления предикатов и ее применение к различным теориям, сформулированным на языке этого исчисления. В первых пяти главах излагаются такие известные классические резуль...

Авраам Робинсон Введение в теорию моделей и метаматематику алгебры

Книгогид использует cookie-файлы для того, чтобы сделать вашу работу с сайтом ещё более комфортной. Если Вы продолжаете пользоваться нашим сайтом, вы соглашаетесь на применение файлов cookie.