логіка математична, логика математическая

В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов: имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более, чем это предусмотрено программой.

• ББК науковий // Учебные и практические издания по основаниям математики и математической логике