|
|
|
|
LEADER |
00000nam a2200000 4500 |
001 |
905792 |
003 |
ICU |
005 |
19970914152200.0 |
008 |
880630s1970 ne b 10000 eng u |
010 |
|
|
|a 77097196 //r872
|
015 |
|
|
|a Ne70-33
|
035 |
|
|
|a (ICU)BID11383249
|
035 |
|
|
|a (OCoLC)103466
|
040 |
|
|
|a DLC
|c DLC
|d ICU
|
041 |
0 |
|
|a eng
|
050 |
0 |
|
|a QA9
|b .C742 1968
|
082 |
|
|
|a 164
|
111 |
2 |
|
|a Conference on Intuitionism and Proof Theory
|d (1968 :
|c State University of New York at Buffalo)
|1 http://viaf.org/viaf/159562209
|0 http://id.loc.gov/authorities/names/n88646745
|
245 |
1 |
0 |
|a Intuitionism and proof theory.
|b Proceedings of the summer conference at Buffalo, N.Y., 1968.
|c Edited by A. Kino, J. Myhill and R. E. Vesley.
|
260 |
0 |
|
|a Amsterdam,
|b North-Holland Pub. Co.,
|c 1970.
|
300 |
|
|
|a viii, 516 p.
|c 23 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
|
350 |
|
|
|a 100.00
|
440 |
|
0 |
|a Studies in logic and the foundations of mathematics
|
504 |
|
|
|a Includes bibliographies.
|
650 |
|
0 |
|a Logic, Symbolic and mathematical
|x Congresses.
|0 http://id.loc.gov/authorities/subjects/sh2008107112
|
650 |
|
7 |
|a Intuitionistic mathematics.
|2 fast
|0 http://id.worldcat.org/fast/fst00977860
|
655 |
|
7 |
|a Conference papers and proceedings.
|2 fast
|0 http://id.worldcat.org/fast/fst01423772
|
700 |
1 |
0 |
|a Kino, A.
|e ed.
|1 http://viaf.org/viaf/163202791
|0 http://id.loc.gov/authorities/names/n88646750
|
700 |
1 |
0 |
|a Myhill, John,
|d 1923-1987
|e ed.
|1 http://viaf.org/viaf/271404040
|0 http://id.loc.gov/authorities/names/n87825260
|
700 |
1 |
0 |
|a Vesley, Richard Eugene,
|d 1932-
|e ed.
|1 http://viaf.org/viaf/93146830
|0 http://id.loc.gov/authorities/names/n88646753
|
710 |
2 |
0 |
|a State University College at Buffalo
|1 http://viaf.org/viaf/161051630
|0 http://id.loc.gov/authorities/names/n79062912
|
903 |
|
|
|a HeVa
|
903 |
|
|
|a Hathi
|
929 |
|
|
|a cat
|
999 |
f |
f |
|i 64b30f34-19a0-52a5-858e-5103902687c9
|s 499c3aca-8598-5e0a-a3a0-d2e4a7cb3d40
|
928 |
|
|
|t Library of Congress classification
|a QA9.S92C75 1968
|l ASR
|c ASR-SciASR
|i 5781313
|
927 |
|
|
|t Library of Congress classification
|a QA9.S92C75 1968
|l ASR
|c ASR-SciASR
|e CRERAR
|b 11655708
|i 2099005
|