机读格式显示(MARC)

• 000 01559nam 2200433 a 4500

• 001 0000387875

• 003 SCNU

• 008 951127m19962000caua b 001 0 eng

• 010 __ |a 95050832

• 020 __ |a 1881526909 (v. 1)

• 020 __ |a 11881526895 (v. 1 : pbk.)

• 020 __ |a 157586181X (v. 2)

• 020 __ |a 1575861801 (v. 2 : pbk.)

• 020 __ |a 1575862670 (v. 3)

• 020 __ |a 1575862689 (v. 3 : pbk.)

• 040 __ |a DLC |c DLC |d DLC |d ZSU

• 050 00 |a P39 |b .L593 1996

• 082 00 |a 410/.285 |2 20

• 093 __ |a H-05 |2 4

• 099 __ |a CAL 022000508042

• 245 00 |a Logic, language, and computation / |c edited by Jerry Seligman & Dag Westerstahl.

• 260 __ |a Stanford, Calif. : |b CSLI Publications, |c c1996-c2000.

• 300 __ |a 1 v. : |b ill. ; |c 24 cm.

• 440 _0 |a CSLI lecture notes ; |v no. 58, 96, 111

• 500 __ |a Vol. 2 edited by Lawrence S. Moss, Jonathan Ginzburg, Maarten de Rijke.

• 500 __ |a Vol. 3 edited by Lawrence Cavedon and others.

• 504 __ |a Includes bibliographical references and indexes.

• 650 _0 |a Language and logic.

• 650 _0 |a Logic, Symbolic and mathematical.

• 650 _0 |a Computational linguistics.

• 700 1_ |a Seligman, Jerry, |d 1964-

• 700 1_ |a Westerstahl, Dag, |d 1946-

• 700 1_ |a Cavedon, Lawrence, |d 1964-

• 856 4_ |u http://www.loc.gov/catdir/description/cam027/95050832.html

• 950 __ |a SCNU |f H-05/S464/V.1

• 999 __ |t C |A zxq |a 20030528 11:00:00 |M zxq |m 20030530 16:08:00 |G zxq |g 20030610 08:30:41

• 000 1000000643

• 991 __ |a 022003000131

• 907 __ |a SCNU |f H-05/S464/V.1 |s 1 |b 6000743 |t 6035499