Algebra and Logic (Hybrid)