Solutions to Selected Exercises in the Logic Book

Ši išskirtinė knyga yra pagrindinis simbolinės arba formaliosios logikos kursų vadovėlis. Visi metodai ir sąvokos pateikiamos su aiškiais, išsamiais paaiškinimais ir daugybe kruopščiai parengtų pavyzdžių. Lanksti jos struktūra (visi skyriai yra išsamūs ir savarankiški) suteikia dėstytojams laisvę nagrinėti norimas temas pasirinkta tvarka.