|
|
|
|
| LEADER |
00000cam a2200000Ia 4500 |
| 001 |
b1051009 |
| 003 |
MWH |
| 005 |
19850605135832.0 |
| 008 |
850206m19849999wb a b 10010 eng d |
| 020 |
|
|
|a 3540139001 (v.1)
|
| 035 |
|
|
|a 11663787
|
| 040 |
|
|
|a UIU
|c UIU
|d NRC
|d OCL
|d HCD
|
| 049 |
|
|
|a HCDs
|c 1
|
| 090 |
|
|
|a QA9.A1 L63 1983
|
| 111 |
2 |
0 |
|a Logic Colloquium
|d (1983 :
|c Aachen, Germany)
|
| 245 |
0 |
0 |
|a Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983.
|
| 260 |
0 |
|
|a Berlin ;
|a New York :
|b Springer-Verlag,
|c 1984-
|
| 300 |
|
|
|a v. :
|b ill. ;
|c 25 cm.
|
| 490 |
1 |
|
|a Lecture notes in mathematics ;
|v 1103, 1104,
|
| 504 |
|
|
|a Includes bibliographies.
|
| 505 |
0 |
|
|a Pt. 1. Models and sets / edited by G.H. Müller and Richter -- Pt. 2. Computation and proof theory / edited by M.M. Richter ... [et al.]
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical
|v Congresses.
|
| 700 |
1 |
0 |
|a Müller, G. H.
|q (Gert Heinz),
|d 1923-
|
| 700 |
1 |
0 |
|a Richter, Michael M.,
|d 1938-
|
| 740 |
0 |
1 |
|a Models and sets.
|
| 740 |
0 |
1 |
|a Computation and proof theory.
|
| 830 |
|
0 |
|a Lecture notes in mathematics (Springer-Verlag) ;
|v 1103, etc.
|
| 907 |
|
|
|a .b10510096
|b 02-15-18
|c 10-03-03
|
| 998 |
|
|
|a hq
|b 10-01-03
|c m
|d a
|e -
|f eng
|g xxu
|h 0
|i 3
|
| 995 |
|
|
|a MARION AAB-1395
|
| 945 |
|
|
|c v.1 c.1
|f - -
|g 1
|h 0
|i 32200000191690
|j - -
|k - -
|l hqcol
|o -
|p $0.00
|q -
|r -
|s -
|t 0
|u 0
|v 0
|w 0
|x 0
|y .i1052146x
|z 10-03-03
|
| 945 |
|
|
|c v.2 c.1
|f - -
|g 1
|h 0
|i 32200000191856
|j - -
|k - -
|l hqcol
|o -
|p $0.00
|q -
|r -
|s -
|t 0
|u 0
|v 0
|w 0
|x 0
|y .i10521471
|z 10-03-03
|
| 999 |
f |
f |
|i 800681d6-fd67-5aca-99bc-78f869a60c5c
|s b5fc14d3-1dfb-50a5-9d8d-a4b37f6febbc
|
| 952 |
f |
f |
|p Can Circulate
|a College of the Holy Cross
|b Main Campus
|c Science
|d Science Library
|e QA9.A1 L63 1983
|h Other scheme
|i Book
|j v.2 c.1
|m 32200000191856
|n 1
|
| 952 |
f |
f |
|p Can Circulate
|a College of the Holy Cross
|b Main Campus
|c Science
|d Science Library
|e QA9.A1 L63 1983
|h Other scheme
|i Book
|j v.1 c.1
|m 32200000191690
|n 1
|