000			00482pam a2200157a 44500
082			_a510.1 _bB669m
100			_aBouvere, Karel Louis De.
245	1		_aA METHOD IN PROFFS OF UNDEFINABILITY _cWITH APPLICATIONS TO FUNCTIONS IN THE ARITHMETIC OF NATURAL NUMBERS
260			_aAmsterdam _bNorth-Holland Pub. Co. _c1959
300			_a641
500			_aBibliography : P. 59-60
650			_aDefinition (Logic)
650			_aNumbers -- Theory
964			_gCIRC
997			_aK8396 C
999			_c384907 _d384907