Bütün felsefe bölümlerine zorunlu ve bazı bölümlere ise seçmeli olarak sunulan Sembolik Mantık dersleri için hazırlanmış olan bu kitap, mantık derslerin de oluşabilecek muhtemel eksikleri kapatmak ve öğrencilerin konuya daha iyi hakim olmasını sağlayacaktır.Kitap temelini Donald Kalish, Richard Montague ve Gary May’in yazdığı “LOGIC Techniques of Formal Reasoning” kitabından almış olup 27 sayfalık konu anlatımı ve 104 sayfalık teorem çözümünden oluşmaktadır.