机读格式显示(MARC)

• 000 01326nam 2200361 a 4500

• 001 0000396576

• 003 SCNU

• 008 840127s1984 ne a b 100 0 eng

• 010 __ |a 84001630

• 020 __ |a 0444868763 (U.S.)

• 040 __ |c PUL

• 050 0_ |a QA9.7 |b .L64 1982

• 082 0_ |a 511/.8 |2 19

• 093 __ |a O14-53 |2 4

• 099 __ |a CAL 022000251401

• 111 2_ |a Logic Colloquium |d (1982 : |c Florence, Italy)

• 245 10 |a Logic Colloquium '82 : |b proceedings of the colloquium held in Florence, 23-28 August, 1982 / |c edited by G. Lolli, G. Longo, and A. Marcja.

• 260 __ |a Amsterdam ; |a New York : |b North-Holland ; |a New York, N.Y. : |b Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., |c 1984.

• 300 __ |a viii, 358 p. : |b ill. ; |c 23 cm.

• 440 _0 |a Studies in logic and the foundations of mathematics ; |v v. 112

• 504 __ |a Includes bibliographical reference.

• 650 _0 |a Model theory |x Congresses.

• 650 _0 |a Categories (Mathematics) |x Congresses.

• 650 _0 |a Lambda calculus |x Congresses.

• 700 1_ |a Lolli, Gabriele, |d 1942-

• 700 1_ |a Longo, Giuseppe.

• 700 1_ |a Marcja, A. |q (Annalisa)

• 950 __ |a SCNU |f O14-53/L832

• 998 __ |a PUL

• 999 __ |t C |A gzhj |a 20050710 16:41:59 |M gzhj |m 20050710 16:42:41

• 000 1000009975

• 991 __ |a 022005005470

• 907 __ |a SCNU |f O14-53/L832