|
|
|
|
| LEADER |
00777nam a2200205 a 4500 |
| 001 |
1060704 |
| 005 |
20171111232411.0 |
| 008 |
071130s1957 gr erb 000 0 eng d |
| 040 |
|
|
|a GrAtEKP.Mathimatiko
|b gre
|e AACR2
|
| 082 |
|
0 |
|2 22
|a 511.352
|
| 100 |
1 |
|
|a Tarski, Alfred
|
| 245 |
1 |
0 |
|a Project Rand :
|b a decision method for elementary algebra and geometry /
|c by Alfred Tarski ; prepared for publication with the assistance of J.C.C. McKinsey
|
| 250 |
|
|
|a 2d ed.
|
| 260 |
|
|
|a Berkeley:
|b University of California Press,
|c 1957
|
| 300 |
|
|
|a iii, 63 p. :
|b fig. ;
|c 28 cm.
|
| 500 |
|
|
|a R-109
|
| 504 |
|
|
|a Includes bibliography: p. 59-60
|
| 650 |
|
0 |
|a Recursive functions
|
| 700 |
1 |
|
|a McKinsey, J. C. C.
|
| 952 |
|
|
|a GrAtEKP
|b 59ccddc86c5ad134460aabe0
|c 998a
|d 945l
|e 511.352 TarA d 1957
|t 1
|x m
|z Books
|
