Matematiğin kimliği antikçağdan günümüze değin tartışma konusudur. Matematik ne tür bir çalışmadır? Konusu ve yöntemi bakımından matematiği diğer entelektüel çalışmalardan ayıran özellikler...

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

Dizinin son cildinde ise sembolik mantığın uygulamalarına değinilmiştir. Bu uygulamalar özellikle temel bilimler ve bilgisayar bölümlerinde okuyan öğrencilerle yapay zekâ, bilim felsefesi ve...

Modern sembolik mantık dersleri 1967 yılından bu yana lise ve üniversitelerimizde yaygınlaşarak okutulmaktadır. Bu alanda şimdiye dek yedi tane ders kitabı yazdım. Ancak, sembolik mantık hızla...