Bayar Bravo, I. Yüklemler (Niceleme) Mantığı ve Çözümleyici Çizelge Yöntemi ile Denetleme. 2017. In Modern Mantık , Lisans Yayıncılık, İstanbul, 115-142.

Bayar Bravo, I., (2017). Yüklemler (Niceleme) Mantığı ve Çözümleyici Çizelge Yöntemi ile Denetleme. Modern Mantık (pp.115-142), İstanbul: Lisans Yayıncılık.

Bayar Bravo, IŞIL. "Yüklemler (Niceleme) Mantığı ve Çözümleyici Çizelge Yöntemi ile Denetleme." In Modern Mantık , 115-142. İstanbul: Lisans Yayıncılık, 2017

Bayar Bravo, IŞIL B. . "Yüklemler (Niceleme) Mantığı ve Çözümleyici Çizelge Yöntemi ile Denetleme." Modern Mantık , Lisans Yayıncılık, 2017, pp.115-142.

Bayar Bravo, I. (2017) "Yüklemler (Niceleme) Mantığı ve Çözümleyici Çizelge Yöntemi ile Denetleme", Modern Mantık . İstanbul: Lisans Yayıncılık.

@bookchapter{bookchapter, author ={IŞIL BAYAR BRAVO}, chaptertitle={Yüklemler (Niceleme) Mantığı ve Çözümleyici Çizelge Yöntemi ile Denetleme}, booktitle={ Modern Mantık}, publisher={Lisans Yayıncılık}, city={İstanbul},year={2017} }