机读格式显示(MARC)

• 000 00720nam 2200217 a 4500

• 001 0000154044

• 005 20060906103700.0

• 008 060906s1984 gw b 001 0 eng

• 020 __ |a 0120585359 (alk. paper)

• 020 __ |a 0120585367 (pbk. : alk. paper)

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

• 090 __ |a 51.3/A568

• 094 __ |a 51.3 |2 4

• 099 __ |a CAL 022000251402

• 100 1_ |a Andrews, P. B. |q (Peter Bruce), |d 1937-

• 245 13 |a An introduction to mathematical logic and type theory : |b to truth through proof / |c Peter B. Andrews.

• 260 __ |a Orlando : |b Academic Press, |c 1986.

• 300 __ |a xv, 304 p. ; |c 24 cm.

• 440 _0 |a Computer science and applied mathematics

• 500 __ |a Includes index.

• 504 __ |a Bibliography: p. 293-295.