Š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 laisvę nagrinėti norimas temas pasirinkta tvarka.