Arithmetic with Creative Definitions by Induction

John R. Myhill. Arithmetic with Creative Definitions by Induction. Journal of Symbolic Logic, 18(2):115-118, 1953.

Abstract

Abstract is missing.