c) Matematická logika,