Математическая логика
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно чем это п...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | Russian |
| Published: |
Москва
Издательская фирма "Физико-математическая литература" (ФИЗМАТЛИТ)
2011
|
| Edition: | 6, испр. |
| Subjects: | |
| Online Access: | ЭБС Знаниум ЭБС Знаниум Перейти в каталог НТБ ТГАСУ |
