| Маркер записи | n 22 7 4500 |
| Контрольный номер | RU/IS/BASE/423581055 |
| Дата корректировки | 9:52:57 8 сентября 2015 г. |
|
5-8114-0082-9 1440-00 |
|
| Код языка каталог. | rus |
| Код языка текста | rus |
| 519.85(076.2) | |
|
519 Л65 |
|
|
Лихтарников, Л. М. Лихтарников, Л. М. |
|
|
Математическая логика Текст курс лекций : задачник-практикум и решения |
|
|
Санкт-Петербург Лань 1999 |
|
| 286 с. | |
| Включен теоретический материал и содержится набор упражнений почти по всем разделам. | |
| Служебное примечание | Сукачёва, Т. Г. |
| математическая логика | |
|
алгебра логики исчисление высказываний логика предикатов математические теории алгоритмы |
|
|
Сукачева, Т. Г. Сукачева, Т. Г. |
|
| Тип документа | m |
