|
|
|
|
| LEADER |
00924nam a2200241 i 4500 |
| 001 |
c000305620 |
| 003 |
CARM |
| 005 |
00000000000000.0 |
| 008 |
840313s1963 ne 0 eng d |
| 019 |
1 |
|
|a 2689122
|5 LACONCORD2021
|
| 035 |
|
|
|a (OCoLC)1464067
|5 LACONCORD2021
|
| 082 |
0 |
4 |
|a 510.78345
|
| 100 |
1 |
|
|a Braffort, P.
|
| 245 |
1 |
0 |
|a Computer programming and formal systems /
|c Edited by P. Braffort and D. Hirschberg.
|
| 260 |
|
|
|a Amsterdam :
|b North-Holland Pub. Co.,
|c 1963.
|
| 300 |
|
|
|a 161 p. :
|b illus.
|
| 490 |
0 |
|
|a Studies in logic and the foundations of mathematics
|
| 504 |
|
|
|a Includes bibliographies.
|
| 650 |
|
0 |
|a Computer programming
|
| 700 |
1 |
|
|a Hirschberg, D.
|q (David)
|
| 852 |
8 |
|
|b CARM
|h A2:AB17H0
|i B10633
|p 0514521
|f BK
|
| 999 |
f |
f |
|i 7716b921-1a3d-57d6-8a72-fec94b228ebe
|s 5a65e2e7-6432-54c1-9530-ef0e1eccbdb6
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e B10633
|f A2:AB17H0
|h Other scheme
|i book
|m 0514521
|