机读格式显示(MARC)

• 000 00960nam a22002651 4500

• 001 0000334559

• 003 CAL

• 005 20200814165600.0

• 008 841130s1963 ne a b 00010 eng

• 010 __ |a 63003816 //r842

• 040 __ |a DLC/ICU |c ICU

• 090 __ |a TP312/H669

• 093 __ |a TP312 |2 3rd

• 099 __ |a CAL 022000366001

• 100 1_ |a Hirschberg, D. |q (David). |0 CAL n2005106797# |7 ba0yba0y

• 245 00 |a Computer programming and formal systems / |c edited by P. Braffort and D. Hirschberg.

• 260 __ |a Amsterdam : |b North-Holland Pub. Co., |c 1963.

• 300 __ |a vi, 161 p. : |b ill. ; |c 22 cm.

• 440 _0 |a Studies in logic and the foundations of mathematics

• 500 __ |a Imprint covered by label: New York, Humanities Press.

• 504 __ |a Includes bibliographies.

• 650 _0 |a Programming (Electronic computers)

• 700 1_ |a Hirschberg, D. |q (David). |0 CAL n2005106797# |7 ba0yba0y

• 700 1_ |a Braffort, P. |q (Paul). |0 CAL n2005027441# |7 ba0yba0y

• 998 __ |a WUL