＜Books＞
A method in proofs of undefinability, with applications to functions in the arithmetic of natural numbers
| Publisher | Amsterdam : North-Holland |
|---|---|
| Year | 1959 |
| Size | vi, 64 p. 25 cm. |
| Authors | Bouvere, Karel Louis de |
| Subjects | Definition (Logic) Godel's theorem |
| Notes | Without thesis statement. ＼ Bibliography: p. 59-60. Academic thesis--Amsterdam. |
Hide book details.
| Location | Media type | Volume | Call No. | Status | Reserve | Comments | ISBN | Printed | Restriction | Designated Book | Barcode No. |
|---|---|---|---|---|---|---|---|---|---|---|---|
| 数学図書室(図書) | 図書 |
|
410//B67 |
|
|
|
|
|
2013010988 |
Hide details.
| Material Type | Books |
|---|---|
| ID | 1000048283 |
Similar Items
Usage statistics of this contents
Number of accesses to this page：2times
※After Sep 4, 2017
Total Lendings：0times
(Lending within 3 months：0times)