|
|
|
|
| LEADER |
01485nam a2200301 a 4500 |
| 001 |
c000162216 |
| 003 |
CARM |
| 005 |
19920922000000.0 |
| 008 |
920519s1992 gw a b 101 0 eng |
| 019 |
1 |
|
|a 9079675
|5 LACONCORD2021
|
| 020 |
|
|
|a 3540556311
|b (Berlin : acid-free paper)
|
| 020 |
|
|
|a 0387556311
|b (New York : acid-free paper)
|
| 035 |
|
|
|a (OCoLC)26014387
|5 LACONCORD2021
|
| 040 |
|
|
|a LC
|b eng
|c LC
|d LC
|
| 050 |
0 |
0 |
|a QA76.9.M35
|b C655 1992
|
| 082 |
0 |
0 |
|a 005.13/1
|2 20
|
| 245 |
0 |
0 |
|a Constructivity in computer science :
|b summer symposium, San Antonio, TX, June 19-22, 1991, proceedings /
|c J.P. Myers, Jr., M.J. O'Donnell, eds.
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer-Verlag,
|c c1992.
|
| 300 |
|
|
|a x, 246 p. :
|b ill. ;
|c 25 cm.
|
| 440 |
|
0 |
|a Lecture notes in computer science ;
|v 613.
|
| 500 |
|
|
|a Contains papers presented at the Symposium on Constructivity in Computer Science held in San Antonio, Tex., June 19-22, 1991, sponsored by Trinity University, the University of Chicago, and the Association for Symbolic Logic.
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 650 |
|
0 |
|a Computer science
|x Mathematics
|x Congresses.
|
| 700 |
1 |
|
|a O'Donnell, Michael J.,
|d 1952-
|
| 700 |
1 |
|
|a Myers, J. P.
|q (J. Paul),
|d 1946-
|
| 852 |
8 |
|
|b CARM
|h A2:AM07E0
|i C05494
|p 0214105
|f BK
|
| 999 |
f |
f |
|i ec255483-fbe7-554a-a9d7-384ea017602b
|s f6943edc-3ef0-5988-ac48-de7999453ce9
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C05494
|f A2:AM07E0
|h Other scheme
|i book
|m 0214105
|