Definition:Natural Deduction System/Copi

Definition
Source: : (MacMillan, $1973$)