# Kurs

beskrivning:
Första ordnings logik, predikatlogik, satslogik


