کتاب زبان اصلی Algebraic Logic اثر P R Halmos کتاب Algebraic Logic منطق جبری نوشته P R Halmos در سال 1962 منتشر شده است این کتاب مقدمه ای روشن و دقیق بر منطق جبری ارائه می دهد منطق جبری شاخه ای از منطق ریاضی است که از نمادها و عملیات جبری برای مدل سازی مفاهیم منطقی استفاده می کند در این کتاب مفاهیم پایه ای منطق جبری مانند جبر بولی مجموعه های بولی روابط و توابع بولی به طور کامل توضیح داده شده اند کتاب دارای استدلال های ریاضی دقیق و تمرین های فراوان است برای درک مبانی منطق ریاضی بسیار مفید است