| Маркер записи | n |
| Контрольный номер | RU/IS/BASE/608202651 |
| Дата корректировки | 10:29:43 11 апреля 2019 г. |
| Цена, тираж | 1-43 |
| Служба первич. каталог. |
Крот БГТУ |
| Код языка каталог. | rus |
| Правила каталог. | PSBO |
| Код языка издания | rus |
| Индекс УДК | 510.6 |
| Полочн. индекс | 517 |
| Авторский знак | Н73 |
|
Новиков, Петр Сергеевич П. С. Новиков |
|
|
Элементы математической логики Текст |
|
| Основные сведения об издании | Изд. 2-е, испр. |
| Место издания | Москва |
| Издательство | Наука, Главная редакция физико-математической литературы |
| Дата издания оригинала | 1973 |
| Объем | 399 с. |
| Математическая логика и основания математики | |
| Аннотация | В книге в доступной форме изложены основы математической логики. Также рассматриваются методы теории доказательства, посредством которых решаются некоторые вопросы математической логики, возникающие в основном тексте книги. |
|
элементы матемтаической логики математическая логика алгебра высказываний логика предикатов исчисление предикатов аксиоматическая арифметика |
|
| Тип документа | m |
