|
|
|
|
| LEADER |
01385nam a2200337 a 4500 |
| 001 |
c000161588 |
| 003 |
CARM |
| 005 |
19990918000000.0 |
| 008 |
900116s1990 wb b 100 0 eng |
| 010 |
|
|
|a 90009465
|
| 019 |
1 |
|
|a 7051372
|5 LACONCORD2021
|
| 020 |
|
|
|a 3540523359
|b (Berlin)
|
| 020 |
|
|
|a 0387523359
|b (New York)
|
| 035 |
|
|
|a (OCoLC)21038138
|5 LACONCORD2021
|
| 040 |
|
|
|a DLC
|b eng
|c DLC
|d DLC
|d LC
|
| 050 |
0 |
0 |
|a QA76.9.M35
|b I57 1988
|
| 082 |
0 |
0 |
|a 004/.01/5113
|2 20
|
| 082 |
0 |
4 |
|a 004/.01/5113
|2 20
|
| 111 |
2 |
|
|a International Conference on Computer Logic,
|d (1988 :
|c Tallinn, Estonia)
|
| 245 |
1 |
0 |
|a COLOG-88 :
|b International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings /
|c P. Martin-Löf, G. Mints, eds.
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer-Verlag,
|c c1990.
|
| 300 |
|
|
|a vi, 338 p. ;
|c 25 cm.
|
| 440 |
|
0 |
|a Lecture notes in computer science ;
|v 417.
|
| 504 |
|
|
|a Includes bibliographical references.
|
| 650 |
|
0 |
|a Computer science
|x Mathematics
|x Congresses.
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical
|x Congresses.
|
| 700 |
2 |
|
|a Martin-Löf, Per,
|d 1942-
|
| 700 |
1 |
|
|a Mint︠s︡, G. E.
|
| 852 |
8 |
|
|b CARM
|h A2:AL17F0
|i C05334
|p 0213186
|f BK
|
| 999 |
f |
f |
|i 37e57877-9361-55f0-a7e3-5a63a7cd3d6b
|s a55d051f-4945-5a08-b1d9-45ac984ed991
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C05334
|f A2:AL17F0
|h Other scheme
|i book
|m 0213186
|