Recursive Functions and the Existential Quantifier

To enlarge image, click on it. To return to blog, click on back arrow.