Method in proofs of underfinability with applications to functions in the arithmatic of natural numbers

Bouvere K L De

Method in proofs of underfinability with applications to functions in the arithmatic of natural numbers - 1959

54,089

Textual


PHILOSOPHY

R14, J97