Ischisleniq wyskazywanij i ischisleniq sekwencij

Predlagaemaq kniga prednaznachena dlq chitatelej s matematicheskim skladom uma, nachinaüschih izuchat' matematicheskuü logiku kak w ramkah uchebnogo kursa, tak i pri samoobrazowanii. Pri izlozhenii materiala w dannom posobii podchörkiwaütsq algebraicheskie aspekty logicheskih ischislenij. Izlozheny metody harakterizacii formul, podrobno rassmotreny gil'bertowskie ischisleniq, sistema natural'nogo wywoda i ischislenie sekwencij. Dlq kazhdoj iz tröh sistem dokazywaütsq korrektnost', polnota i analiziruütsq otlichitel'nye osobennosti wywodow teorem. Kniga soderzhit bol'shoe kolichestwo primerow, pozwolqüschih chitatelü legko oswoit'sq s wwodimymi ponqtiqmi.