Bu eser, sembolik mantığın 1847-1950 yılları arasındaki tarihsel gelişimini akademik bir perspektifle ele almaktadır. George Boole’un mantığı cebirselleştirme girişiminden Alan Turing’in hesaplanabilirlik teorisine uzanan bu yüz yıllık süreç, mantığın felsefi bir disiplinden matematiksel
ve biçimsel bir bilim dalına dönüşümünü temsil eder. Kitap, dört temel dönüşüm evresi üzerinden ilerlemektedir: Cebirselleşme Dönemi (1847-1880), Yüklemler Mantığı Dönemi (1879-1921), Meta-Matematik Dönemi (1920-1934) ve Hesaplanabilirlik Dönemi (1936-1950).
Augustus De Morgan’ın ilişkiler teorisi, Gottlob Frege’nin yüklemler mantığı, Bertrand Russell’ın betimlemeler kuramı, Kurt Gödel’in eksiklik teoremleri, Alfred Tarski'nin doğruluk kuramı ve Turing’in evrensel
makinesi gibi kilometre taşları sistematik biçimde incelenmektedir.
Eser, mantığın epistemolojik, metodolojik, ontolojik ve pragmatik dönüşümlerini tarihsel bağlamında sunarak, modern mantık ve bilgisayar biliminin entelektüel temellerini aydınlatmayı amaçlamaktadır. Türkçe
mantık tarihi yazımındaki boşluğu doldurmak üzere hazırlanan bu çalışma, hem felsefe ve ilahiyat hem de matematik ve bilgisayar bilimleri alanlarındaki araştırmacılar için kapsamlı bir kaynak sunmaktadır.
