|
|
|
|
| LEADER |
00884nam a2200229 a 4500 |
| 001 |
1293936 |
| 005 |
20171111232729.0 |
| 008 |
991008s1957 gr er 001 0 eng d |
| 040 |
|
|
|a GrAtEKP.Mathimatiko
|b gre
|e AACR2
|
| 082 |
|
0 |
|2 22
|a 511.35
|
| 100 |
1 |
|
|a Goodstein, R. L.
|
| 245 |
1 |
0 |
|a Recursive number theory :
|b a development of recursive arithmetic in a logic-free equation calculus /
|c by R. L. Goodstein
|
| 260 |
|
|
|a Amsterdam :
|b North Holland,
|c 1957
|
| 300 |
|
|
|a xii, 190 p. ;
|c 22 cm.
|
| 490 |
0 |
|
|a Studies in logic and the foundations of mathematics (North Holland) / J.Barwise, H.J.Keisler, P.Suppes, A.S.Tro/ra
|
| 500 |
|
|
|a Monograph
|
| 504 |
|
|
|a Bibliography: p. 188
|
| 504 |
|
|
|a Includes index
|
| 650 |
1 |
0 |
|a Recursion theory
|
| 650 |
|
0 |
|a Number theory
|
| 650 |
1 |
0 |
|a Arithmetic
|x Foundations
|
| 952 |
|
|
|a GrAtEKP
|b 59cd0dc46c5ad134460e7571
|c 998a
|d 945l
|e 511.35 GooR r 1957
|t 2
|x m
|z Books
|
