Author: BOUVÈRE, K.L. DE
Title: A method in proofs of undefinability with applications to functions in the arithmetic of natural numbers.
Description: North Holland Public 1959 sewed, 60 pp. Dissertation with the Stellingen.

Keywords: science Wiskunde


See more books from our catalog: Science