TY  - BOOK
AU  - Bouvere,Karel Louis de
TI  - A method in proofs of undefinability: with applications to functions in the arithmetic of natural numbers 
U1  - 512.81 
PY  - 1959///
CY  - Amsterdam
PB  - North-Holland Pub.
KW  - Godel's theorem
KW  - Number theory
N1  - Includes index; Academic thesis--Amsterdam; Bibliography: p. 59-60
ER  -