Avsnitt Implication rules for natural deduction Iowa Type Theory Commute Spela Dela Facebook Twitter Kopiera länk
We discuss further inferences in natural deduction, in particular implication introduction and elimination. Rss Apple Podcaster →