A method in proofs of undefinability
Subtitle: with applications to functions in the arithmetic of natural numbers.
Publisher: North-Holland Pub. Co.
Published: 1959
Place of publication: Amsterdam
Language: eng
Number of pages: 64
Subjects: Definition (Logic); Gödel's theorem.
Notes: Bibliography: p. 59-60.
Academic thesis--Amsterdam.
Without thesis statement.