机读格式显示(MARC)

• 000 00846cam 2200289 a 4500

• 001 0000520892

• 003 CAL

• 005 20050418110100.0

• 008 050418s1977 enk b 001 0 eng

• 010 __ |a 77366152 //r85

• 015 __ |a GB***

• 020 __ |a 019853163X

• 040 __ |c PUL

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

• 082 0_ |a 511/.2

• 090 __ |a O156/T843

• 093 __ |a O156 |2 4

• 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.

• 440 _0 |a Oxford logic guides

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

• 650 _0 |a Intuitionistic mathematics.

• 650 _0 |a Sequences (Mathematics)

• 950 __ |a JHUL |b O156 |c T843