TY  - BOOK
AU  - Bouvere, Karel Louis De.
TI  - A METHOD IN PROFFS OF UNDEFINABILITY
U1  - 510.1 
PY  - 1959///
CY  - Amsterdam
PB  - North-Holland Pub. Co.
KW  - Definition (Logic)
KW  - Numbers -- Theory
N1  - Bibliography : P. 59-60
ER  -