机读格式显示(MARC)

• 000 00796cam a2200253 a 4500

• 001 0000321327

• 005 20190828195900.0

• 008 770912s1977 enk b 001 0 eng

• 010 __ |a 77366152 //r85

• 020 __ |a 019853163X : |c CNY1.30

• 040 __ |c PUL

• 050 00 |a QA9.47 |b .T77

• 090 __ |a O143/TAS

• 093 __ |a O143 |2 5

• 099 __ |a CAL 022000264098

• 100 1_ |a Troelstra, A. S. |q (Anne Sjerp)

• 245 10 |a Choice sequences : |b a chapter of intuitionistic mathematics / |c by A. S. Troelstra.

• 260 __ |a Oxford [Eng.] : |b Clarendon Press, |c 1977.

• 300 __ |a ix, 170 p. ; |c 25 cm.

• 490 0_ |a Oxford logic guides

• 504 __ |a Includes bibliographical references (p. [161]-167) and index.

• 650 _0 |a Intuitionistic mathematics.

• 650 _0 |a Sequences (Mathematics)

• 920 __ |a 211180 |z 1