- Nyelv és logika (BAVÁL1-114)
- Logika és nyelv (BAVÁL1-136)
- Bevezetés a formális szemantikába (BAVÁL1-112)
- Pragmatika (BAVÁL1-47)
- A nyelvtudomány irányzatai (BAVÁL1-113)
- Nyelv és gondolkodás (BAVÁL1-111)
- Nyelvtechnológia: a nyelv és a számítógép (BAVÁL1-48)



