510.1 / B669m
Bouvere, Karel Louis De.
A METHOD IN PROFFS OF UNDEFINABILITY
/ WITH APPLICATIONS TO FUNCTIONS IN THE ARITHMETIC OF NATURAL NUMBERS
.- Amsterdam: North-Holland Pub. Co., 1959
.- 641 .
Bibliography : P. 59-60
Subject Headings:
Definition (Logic);
Numbers -- Theory;
Copy Details:
Acc. No.: K8396, Full Call No.: 510.1 B669m, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------