|
|
|
|
LEADER |
00000nam a2200000 i 4500 |
001 |
654679 |
003 |
ICU |
005 |
19950903000000.0 |
008 |
850221s1977 enk b 00110 eng u |
010 |
|
|
|a 77366152 //r85
|
015 |
|
|
|a GB***
|
020 |
|
|
|a 019853163X :
|c £4.95
|
035 |
|
|
|a (ICU)BID8556691
|
035 |
|
|
|a (OCoLC)3085044
|
040 |
|
|
|a DLC
|c DLC
|
041 |
0 |
|
|a eng
|
050 |
0 |
|
|a QA9.47
|b .T77
|
082 |
|
|
|a 511/.2
|
100 |
1 |
|
|a Troelstra, A. S.
|q (Anne Sjerp)
|0 http://id.loc.gov/authorities/names/n50012539
|1 http://viaf.org/viaf/44365390
|
245 |
1 |
0 |
|a Choice sequences :
|b a chapter of intuitionistic mathematics /
|c by A. S. Troelstra.
|
260 |
0 |
|
|a Oxford [Eng.] :
|b Clarendon Press,
|c 1977.
|
300 |
|
|
|a ix, 170 p. ;
|c 25 cm.
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|0 http://id.loc.gov/vocabulary/contentTypes/txt
|
337 |
|
|
|a unmediated
|b n
|2 rdamedia
|0 http://id.loc.gov/vocabulary/mediaTypes/n
|
338 |
|
|
|a volume
|b nc
|2 rdacarrier
|0 http://id.loc.gov/vocabulary/carriers/nc
|
440 |
|
0 |
|a Oxford logic guides
|
500 |
|
|
|a Includes index.
|
504 |
|
|
|a Bibliography: p. [161]-167.
|
650 |
|
0 |
|a Intuitionistic mathematics
|0 http://id.loc.gov/authorities/subjects/sh85067656
|
650 |
|
0 |
|a Sequences (Mathematics)
|0 http://id.loc.gov/authorities/subjects/sh85120145
|
650 |
|
7 |
|a Intuitionistic mathematics.
|2 fast
|0 http://id.worldcat.org/fast/fst00977860
|
650 |
|
7 |
|a Sequences (Mathematics)
|2 fast
|0 http://id.worldcat.org/fast/fst01112884
|
903 |
|
|
|a HeVa
|
903 |
|
|
|a Hathi
|
929 |
|
|
|a cat
|
999 |
f |
f |
|i c2951bc7-2e83-5fcb-b55a-a52074dd7121
|s 56502cd6-8011-5f3b-accd-df2588dc98f5
|
928 |
|
|
|t Library of Congress classification
|a QA9.47.T770
|l Eck
|c Eck-Eck
|i 1529195
|
927 |
|
|
|t Library of Congress classification
|a QA9.47.T770
|l Eck
|c Eck-Eck
|b 24605736
|i 1669991
|