Bouvere K L De Method in proofs of underfinability with applications to functions in the arithmatic of natural numbers - 1959 Standard No.: 54,089 Source: Textual Subjects--Topical Terms: PHILOSOPHY Dewey Class. No.: R14, J97