Kas yra simbolinė logika (žr. būklę)

Virginia Klenk. vertė Jonas Dagys . Vilnius: Vilniaus universiteto leidykla, 2011. 

būklė: l. gera, bloko kampas nežymiai pasitepęs

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. Išplėtotos logikos sistemos egzistuoja nuo Aristotelio laikų (384-322 m. pr. Kr.), tačiau simbolinė logika daugiausia yra XX amžiaus išradimas.