এই পাঠটি: Lattices to logic