Algebra i logika