Уведомления
Уведомлений еще не было
Пять пороков команды
Пять пороков команды

Патрик Ленсиони

8.4
425 оценок
Правописные истины, или Левосудие для всех. 3-е издание
Правописные истины, или Левосудие для всех. 3-е издание

Павел Астахов

0.0
0 оценок
Невидимые женщины. Почему мы живем в мире, удобном только для мужчин. Неравноправие, основанное на данных
Невидимые женщины. Почему мы живем в мире, удобном только для мужчин. Неравноправие, основанное на данных

Перес Кэролайн Криадо

9.0
1 оценка
Всё о муми-троллях. Книга 1
Всё о муми-троллях. Книга 1

Туве Янссон

0.0
0 оценок
Рохан в Лувре
Рохан в Лувре

Хирохико Араки

7.0
1 оценка
Хороших девочек не убивают
Хороших девочек не убивают

Холли Джексон

8.6
433 оценки

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

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

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

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

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

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

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