Jegyzetek

- Modális Logika

- Modellelmélet