first order predicate logic

پیشنهادی ثبت نشده است. شما اولین نفر باشید