
Sign up to save your podcasts
Or
We discuss further inferences in natural deduction, in particular implication introduction and elimination.
5
1616 ratings
We discuss further inferences in natural deduction, in particular implication introduction and elimination.