Математическая логика (книга)
| Математическая логика | |
 | |
| Автор: | Ю. Л. Ершов Е. А. Палютин |
|---|---|
| Оригинал издан: | 2005 |
| Серия: | Учебники для вузов. Специальная литература |
| Издательство: | Лань |
| Выпуск: | 28 ноября 2006 г. |
| Страниц: | 336 |
«Математическая логика» — книга 2005 года.
Содержание |
Содержание 
От издателя
«В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория…»
Рецензии
См. также
Ссылки
| Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её. |
