bka/logic-lecture-notes

Notes for a logic lecture for computer scientists. Uni Bremen