A method in proofs of undefinability, with applications to functions in the arithmetic of natural numbers
Saved in:
| OCLC: | 4097062 |
|---|---|
| Main Author: | |
| Corporate Author: | |
| Language: | English |
| Published: |
Amsterdam,
North-Holland Pub. Co.,
1959.
|
| Subjects: | |
| Format: | Thesis Monograph Note that CRL will digitize material from the collection when copyright allows. |
| LEADER | 01416cam a22003851 4500 | ||
|---|---|---|---|
| 001 | in00005946032 | ||
| 003 | OCoLC | ||
| 005 | 20040921122109.0 | ||
| 008 | 841127s1959 ne bm 000 0 eng | ||
| 010 | |a 63000804 | ||
| 015 | |a GB59-11783 | ||
| 035 | |a (OCoLC)4097062 | ||
| 040 | |a DLC/ICU |c CGU |d UKM |d OCLCQ |d CRL | ||
| 049 | |a CRLL | ||
| 050 | 0 | 4 | |a BC199.D4 |b B6 |
| 082 | 0 | 4 | |a 512.72 |2 18 |
| 099 | |a P-00255188 | ||
| 100 | 1 | |a Bouvère, Karel Louis de. | |
| 245 | 1 | 2 | |a A method in proofs of undefinability, |b with applications to functions in the arithmetic of natural numbers. |
| 260 | |a Amsterdam, |b North-Holland Pub. Co., |c 1959. | ||
| 300 | |a vi, 64 p. |c 25 cm. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a unmediated |b n |2 rdamedia. | ||
| 338 | |a volume |b nc |2 rdacarrier. | ||
| 502 | |b doctoral |c Universiteit van Amsterdam |d 1959. | ||
| 500 | |a Without thesis statement. | ||
| 504 | |a Bibliography: p. 59-60. | ||
| 650 | 0 | |a Definition (Logic) | |
| 650 | 0 | |a Gödel's theorem. | |
| 710 | 2 | |a Universiteit van Amsterdam. | |
| 752 | |a Netherlands. | ||
| 907 | |a .b18960571 |b 02-22-22 |c 09-21-04 | ||
| 998 | |a diss |b 09-21-04 |c m |d - |e - |f eng |g ne |h 2 |i 1 | ||
| 999 | f | f | |i f128423b-6095-5576-8c6d-bc0053a0c547 |s 31a3c8c4-c16e-518f-85ca-87688ff09035 |t 0 |