Ischisleniya Vyskazyvaniy I Ischisleniya Sekventsiy

Predlagaemaya kniga prednaznachena dlya chitateley s matematicheskim skladom uma, nachinayushchikh izuchat' matematicheskuyu logiku kak v ramkakh uchebnogo kursa, tak i pri samoobrazovanii. Pri izlozhenii materiala v dannom posobii podchyerkivayutsya algebraicheskie aspekty logicheskikh ischisleniy. Izlozheny metody kharakterizatsii formul, podrobno rassmotreny gil'bertovskie ischisleniya, sistema natural'nogo vyvoda i ischislenie sekventsiy. Dlya kazhdoy iz tryekh sistem dokazyvayutsya korrektnost', polnota i analiziruyutsya otlichitel'nye osobennosti vyvodov teorem. Kniga soderzhit bol'shoe kolichestvo primerov, pozvolyayushchikh chitatelyu legko osvoit'sya s vvodimymi ponyatiyami.