1.12 Von Neumann natural numbers

Há 7 anos 890 Visualizações

1.11 Inductive definitions and structural induction

Há 7 anos 563 Visualizações