c) Matematická logika