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