Kas yra simbolinė logika

Ši knyga sumanyta kaip išsamus įvadas į simbolinę logiką. Jam nereikia jokių ankstesnių logikos ar matematikos žinių ir apimamos visos įprastos temos iki pat daugiaviečių predikatų logikos su tapatybe. Knyga buvo rašoma tikint, kad kiekvienas studentas gali išmokti simbolinę logiką. Ji yra parengta siekiant suteikti studentui kuo daugiau pagalbos ją perprantant.