В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория...
V knige izlozheny osnovnye klassicheskie ischislenija matematicheskoj logiki: ischislenie vyskazyvanij i ischislenie predikatov; imeetsja kratkoe izlozhenie osnovnykh ponjatij teorii mnozhestv i teorii algoritmov. Rjad razdelov knigi - teorija modelej i teorija...