Modern Logic
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.