Аннотация к книге: Математическая логика
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой.
Для студентов математических специальностей ВУЗов. Может служить пособием для специальных курсов.
| Издательство | Физматлит |
| Автор/составитель | Ершов Юрий Леонидович, Палютин Евгений Андреевич |
| Год выпуска | 2011 |
| ISBN | 978-5-9221-1301-4 |
| Дата выпуска | 2011 г. |
| Количество томов | 1 |
| Количество страниц | 356 |
| Переплет | твердый |
| Размеры | 221x146x20 мм |
| Цвет | Зелёный |
| Тип бумаги | офсетная (60-220 г/м2) |
| Формат | 60x90/16 (145x215 мм) |
| Стандарт | 14 |
| Вес | 482 |
| Область образования | математика, алгебра |
| Предмет | математика, алгебра |
