Bouvere, Karel Louis de. <br/><br/>
A method in proofs of undefinability :  with applications to functions in the arithmetic of natural numbers / 
by K. L. De Bouvere 
 - Amsterdam :  North-Holland Pub.,  1959 
 - vi, 64 p. ;  25 cm. 
<br/><br/> Includes index 
<br/><br/>Academic thesis--Amsterdam 
<br/><br/>Bibliography: p. 59-60 
<br/><br/><label>ISBN: </label> ? 7.50 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Godel's theorem<br/>Number theory
<br/><br/><label>Dewey Class. No.: </label>512.81