Method in proofs of underfinability with applications to functions in the arithmatic of natural numbers - Bouvere K L De (1959)
Keywords: PHILOSOPHY