A method in proofs of undefinability, with applications to functions in the arithmetic of natural numbers.
Saved in:
Author / Creator: | Bouvère, Karel Louis de |
---|---|
Imprint: | Amsterdam, North-Holland Pub. Co., 1959. |
Description: | vi, 64 p. 25 cm. |
Language: | English |
Subject: | |
Format: | Dissertations Print Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/652656 |
Item Description: | Without thesis statement. |
---|---|
Physical Description: | vi, 64 p. 25 cm. |
Bibliography: | Bibliography: p. 59-60. |