Logika vyskazyvanij: Učebnoe posobie

Predlagaemoe učebnoe posobie prednaznačeno dlja studentov, načinajučšich izučat′ matematičeskuju logiku, ono takže možet byt′ ispol′zovano pri samoobrazovanii. Podčërkivajutsja algebraičeskie aspekty isčislenij vyskazyvanij klassičeskoj i intuicionistskoj logik. Izloženy metody charakterizacii formul logiki vyskazyvanij, podrobno rassmotreny gil′bertovskie isčislenija, sistema natural′nogo vyvoda i isčislenie sekvencij dlja isčislenija vyskazyvanij. Dlja každoj iz trëch sistem rassmatrivaetsja sootvetstvujučšaja meta teorija. Rassmatrivajutsja semantičeskie metody charakterizacii formul. Posobie soderžit bol′šoe količestvo primerov, pozvoljajučšich čitatelju legko osvoit′sja s vvodimymi ponjatijami.