Formel logik er en grundlAeggende, lettilgAengelig indforing i klassisk doms- og prAedikatslogik beregnet til undervisning pa universitetsniveau. Den fokuserer pa de semantiske …