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