机读格式显示(MARC)
- 000 01792nam 2200517 a 4500
- 008 850626s1985 gw b 100 0 eng
- 020 __ |a 3540152369 (Berlin)
- 020 __ |a 0387152369 (New York)
- 040 __ |a DLC |c DLC |d DLC |d SCT
- 050 00 |a QA3 |b .L28 no. 1130 |a QA9.A1
- 082 00 |a 510 s |a 511.3 |2 19
- 099 __ |a CAL 022000305373
- 111 2_ |a Latin-American Symposium on Mathematical Logic |n (6th : |d 1983 : |c Caracas, Venezuela)
- 245 10 |a Methods in mathematical logic : |b proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 / |c edited by C.A. Di Prisco.
- 260 __ |a Berlin ; |a New York : |b Springer-Verlag, |c c1985.
- 300 __ |a vii, 407 p. ; |c 25 cm.
- 490 1_ |a Lecture notes in mathematics ; |v 1130
- 500 __ |a Sponsored by Asociación Venezolana para el Avance de la Ciencia (AsoVAC) ... [et al.].
- 504 __ |a Includes bibliographical references.
- 650 _0 |a Logic, Symbolic and mathematical |v Congresses.
- 700 1_ |a Di Prisco, C. A.
- 710 2_ |a Asociación Venezolana para el Avance de la Ciencia.
- 830 _0 |a Lecture notes in mathematics (Springer-Verlag); |v 1130.
- 920 __ |a 231030 |b O141-53 |c L357M 1983 |z 1
- 950 __ |a SCNU |f O141/P959
- 999 __ |t C |A gzhj |a 20050710 17:11:51 |M gzhj |m 20050710 17:12:22
- 907 __ |a SCNU |f O141/P959