حساب القضايا في منطق برتراند رسل. TUJ-A 2017, 38 (5).