TY  - BOOK
AU  - Bouvere, K L De
TI  - Method in Proofs of Undefinability: With Applications to Functions in the Arithmetic of Natural Numbers
U1  - 512.81 
PY  - 0000///
CY  - Amsterdam
PB  - North-Holland Publishing Company
KW  - Mathematics
ER  -