1 results Refine Results
  1. 1
    by Bouvere, Karel Louis de
    Published 1959
    “...North-Holland Pub. Co.,...”
    Thesis Book
    Save to List
    Saved in:
    A method in proofs of undefinability : with applications to functions in the arithmetic of natural numbers.

Search Tools: