Formel logik er en grundlÌggende, lettilgÌngelig indføring i klassisk doms- og prÌdikatslogik beregnet til undervisning pü universitetsniveau. Den fokuserer pü de semantiske metoder - sandhedstabeller og semantiske trÌer - frem for bevisteori. Derved giver den et klart og let tilgÌngeligt overblik over logiske nøglebegreber som gyldighed, formalisering, fortolkning, model og modeksempel. Dens kontante og prÌcise form süvel som de mange pÌdagogiske eksempler og øvelser har gjort den til en populÌr lÌrebog til introducerende logikkurser i gymnasiet og pü videregüende uddannelsesinstitutioner i Storbritannien, Australien og USA. Med denne oversÌttelse foreligger den nu for første gang pü dansk.