Indirect proof and the problem of circumvention and normative proofs in the natural deduction of classical logic
eazazaa, H. (2641). Indirect proof and the problem of circumvention and normative proofs in the natural deduction of classical logic. EKB Journal Management System, 2020(4), -. doi: 10.21608/jarts.2020.100062
Hany Mubarez Hassan Ali eazazaa. "Indirect proof and the problem of circumvention and normative proofs in the natural deduction of classical logic". EKB Journal Management System, 2020, 4, 2641, -. doi: 10.21608/jarts.2020.100062
eazazaa, H. (2641). 'Indirect proof and the problem of circumvention and normative proofs in the natural deduction of classical logic', EKB Journal Management System, 2020(4), pp. -. doi: 10.21608/jarts.2020.100062
eazazaa, H. Indirect proof and the problem of circumvention and normative proofs in the natural deduction of classical logic. EKB Journal Management System, 2641; 2020(4): -. doi: 10.21608/jarts.2020.100062