2015, Tarek Sayed Ahmed, “A brief history of algebraic logic from neat embeddings to rainbow constructions”, in arXiv:
Other topics, such as abstract algebraic logic, modal logic and the so--called (central) finitizability problem in algebraic logic will be dealt with; the last in some detail.