EDB β€” 27R

↑ ← β†’ ↓ view in whole PDF view in whole HTML

View

English

Exercises

  1. [27R]Rewrite some notions seen above, such as the principle of induction, and the definition of addition, using n+1 instead of S(n).

Download PDF
Authors: "Mennucci , Andrea C. G." .
Managing blob in: Multiple languages
This content is available in: Italian English