Bu kitap üniversite lisans öğrencileri için modern (sembolik yani matematiksel) mantığı konu edinen giriş ve orta düzeyde bir ders kitabıdır. Özellikle başta ODTÜ olmak üzere İngilizce öğretim yapan üniversitelerin gerek Felsefe bölümlerinin zorunlu Mantık derslerinde gerekse diğer bölümler için açılan teknik teknik-olmayan ve serbest seçmeli Mantık derslerinde kullanılmak üzere hazırlanmıştır. Ayrıca kendi kendine İngilizce Modern Mantık öğrenmek isteyen genel okuyucuya önerilmektedir. Kitabı okumak için Mantık konusunda ön bir bilgi gerekmemektedir. İşlenen konular çok sayıda örnekle beslenmiş ayrıca en küçük alt bölümlerin bile sonunda alıştırmalar verilmiştir. Dört ana bölümden oluşan kitapta sırasıyla önermelere mantığı niceleme (yüklemler) mantığı özdeşlik mantığı ve varlık mantığı incelenmektedir. İlk iki bölüm temel mantık sayılıp kitabın büyük bir kısmını oluştururken son iki bölüm ise daha ileri düzeyde işlenmiştir.