Sembolik mantık: Çözümleyici çizelge ile eşdeğerlik denetlemesi

Prof. Dr. Sinan Yılmaz