V nastoyashchee vremya yazyki logicheskogo programmirovaniya baziruyutsya na logike predikatov pervogo poryadka, no nazrela neobkhodimost' ispol'zovaniya v programmirovanii logiki vtorogo poryadka. Dlya postroeniya sootvetstvuyushchego yazyka neobkhodimo proanalizirovat' matematicheskuyu logiku, yazyki logicheskogo programmirovaniya, nekotorye matematicheskie ponyatiya i kontseptsii. Pervym shagom na etom puti yavlyaetsya analiz ischisleniya vyskazyvaniy, kotoryy luchshe vsego delat' putyem sravneniya razlichnykh podkhodov s analizom i proyasneniem vstrechayushchikhsya problem, ponyatiy i terminov. Eto i sdelano v dannoy knige: rassmotreny sovremennye i traditsionnye podkhody k matematicheskoy logike (ischisleniyu vyskazyvaniy). Podrobno rassmotreno takoe ponyatie kak rekursiya. Mnogo vnimaniya udeleno probleme vypolnimosti - rassmotreno neskol'ko algoritmov i, estestvenno, osoboe vnimanie udeleno metodu rezolyutsiy. Krome togo, v nachale raboty dostatochno podrobno rassmotreny paradoksy, a v kontse khornovskie diz"yunkty. Dlya studentov, aspirantov i spetsialistov, zanimayushchikhsya (interesuyushchikhsya) problemami iskusstvennogo intellekta.