Kleene’s s-m-n Theorem

Introduction