Katedra Algebry i Logiki