|
|
|
|
| LEADER |
01138cam a2200301 i 4500 |
| 001 |
c000186470 |
| 003 |
CARM |
| 005 |
20051012154823.0 |
| 008 |
800918s1979 ne b 000 0 eng |
| 019 |
1 |
|
|a 40226787
|5 LACONCORD2021
|
| 020 |
|
|
|a 9061961475 (pbk.)
|
| 035 |
|
|
|a (OCoLC)5806388
|5 LACONCORD2021
|
| 040 |
|
|
|a VCAV
|b eng
|c VCAV
|
| 082 |
0 |
0 |
|a 512/.7
|2 19
|
| 100 |
2 |
|
|a Benthem Jutting, L. S. van.
|
| 245 |
1 |
0 |
|a Checking Landau's "Grundlagen" in the automath system /
|c L. S. van Benthem Jutting.
|
| 260 |
|
|
|a Amsterdam :
|b Mathematisch Centrum,
|c 1979.
|
| 300 |
|
|
|a 120 p. ;
|c 24 cm.
|
| 490 |
1 |
|
|a Mathematical Centre tracts ; 83
|v 83
|
| 504 |
|
|
|a Bibliography: p. 120.
|
| 650 |
|
0 |
|a Number theory.
|
| 650 |
|
0 |
|a AUTOMATH (Formal language)
|
| 650 |
|
0 |
|a Machine translating.
|
| 600 |
1 |
0 |
|a Landau, Edmund,
|d 1877-1938.
|t Grundlagen des Analysis.
|
| 830 |
|
0 |
|a Mathematical Centre tracts
|v 83.
|
| 852 |
8 |
|
|b CARM
|h A2:AP32F0
|i C07692
|p 0260515
|f BK
|
| 999 |
f |
f |
|i a2d6a614-0863-51f1-b298-a10ad1237032
|s 26451e83-5904-5666-a150-59daf76f05a6
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C07692
|f A2:AP32F0
|h Other scheme
|i book
|m 0260515
|