A method in proofs of undefinability : with applications to functions in the arithmetic of natural numbers - Bouvere, Karel Louis de (North-Holland Pub. Co., 1959)