|
|
|
|
LEADER |
00000cam a2200000 a 4500 |
001 |
in00006554466 |
006 |
m o d |
007 |
cr cn||||||||| |
008 |
090320s1980 ne a ob 100 0 eng d |
005 |
20240708134925.4 |
035 |
|
|
|a 1WRLDSHRocn316566821
|
040 |
|
|
|a OPELS
|b eng
|e pn
|c OPELS
|d OPELS
|d OCLCQ
|d OCLCE
|d OCLCO
|d DEBBG
|d OCLCF
|d NLGGC
|d OCL
|d OCLCQ
|d DEBSZ
|d OCLCQ
|d UK7LJ
|d LUN
|d OCLCQ
|d OCLCO
|d OCLCQ
|d OCLCO
|d OCLCL
|
019 |
|
|
|a 609608690
|a 1112864344
|a 1156074475
|a 1160032642
|a 1162329274
|
020 |
|
|
|a 9780444853455
|
020 |
|
|
|a 0444853456
|
035 |
|
|
|a (OCoLC)316566821
|z (OCoLC)609608690
|z (OCoLC)1112864344
|z (OCoLC)1156074475
|z (OCoLC)1160032642
|z (OCoLC)1162329274
|
037 |
|
|
|a 124940:122785
|b Elsevier Science & Technology
|n http://www.sciencedirect.com
|
042 |
|
|
|a dlr
|
050 |
|
4 |
|a QA9.6
|b .K53 1978eb
|
082 |
0 |
4 |
|a 511/.3
|2 22
|
084 |
|
|
|a 31.10
|2 bcl
|
049 |
|
|
|a TXMM
|
111 |
2 |
|
|a Kleene Symposium
|d (1978 :
|c Madison, Wis.)
|
245 |
1 |
4 |
|a The Kleene Symposium :
|b proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
|c edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen.
|
260 |
|
|
|a Amsterdam ;
|a New York :
|b North-Holland Pub. Co. ;
|a New York :
|b Sole distributors for the U.S.A. and Canada, Elsevier North-Holland,
|c 1980.
|
300 |
|
|
|a 1 online resource (xx, 425 pages) :
|b illustrations
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
490 |
1 |
|
|a Studies in logic and the foundations of mathematics ;
|v v. 101
|
504 |
|
|
|a Includes bibliographical references.
|
588 |
0 |
|
|a Print version record.
|
546 |
|
|
|a English.
|
500 |
|
|
|a ScienceDirect eBook - Mathematics pre-2007 (Elsevier and Woodhead)
|5 TMurS
|
600 |
1 |
0 |
|a Kleene, Stephen Cole,
|d 1909-1994.
|
650 |
|
0 |
|a Recursion theory
|v Congresses.
|
650 |
|
0 |
|a Intuitionistic mathematics
|v Congresses.
|
650 |
|
0 |
|a Recursion theory
|x Congresses.
|
650 |
|
0 |
|a Intuitionistic mathematics
|x Congresses.
|
655 |
|
7 |
|a Conference papers and proceedings
|2 fast
|
700 |
1 |
|
|a Kleene, Stephen Cole,
|d 1909-1994.
|1 https://id.oclc.org/worldcat/entity/E39PBJt8m48C4bXHvjmFPXbw4q
|
700 |
1 |
|
|a Barwise, Jon.
|
700 |
1 |
|
|a Keisler, H. Jerome.
|
700 |
1 |
|
|a Kunen, Kenneth.
|
730 |
0 |
|
|a WORLDSHARE SUB RECORDS
|
758 |
|
|
|i has work:
|a The Kleene Symposium (Text)
|1 https://id.oclc.org/worldcat/entity/E39PCGYBh9GMjM3hWBKBGwh7f3
|4 https://id.oclc.org/worldcat/ontology/hasWork
|
776 |
0 |
8 |
|i Print version:
|a Kleene Symposium (1978 : Madison, Wis.).
|t Kleene Symposium.
|d Amsterdam ; New York : North-Holland Pub. Co. ; New York : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980
|z 0444853456
|z 9780444853455
|w (DLC) 79020792
|w (OCoLC)5411981
|
830 |
|
0 |
|a Studies in logic and the foundations of mathematics ;
|v v. 101.
|
856 |
4 |
0 |
|u https://ezproxy.mtsu.edu/login?url=https://www.sciencedirect.com/science/bookseries/0049237X/101
|z CONNECT
|3 Elsevier
|t 0
|
949 |
|
|
|a ho0
|
994 |
|
|
|a 92
|b TXM
|
998 |
|
|
|a wi
|d z
|
999 |
f |
f |
|s 767bbeb8-2fa9-48ef-836e-dfacd5d8ff9d
|i 52ded056-cc2c-4fb0-b07b-c184c7af1e3f
|t 0
|
952 |
f |
f |
|a Middle Tennessee State University
|b Main
|c James E. Walker Library
|d Electronic Resources
|t 0
|e QA9.6 .K53 1978eb
|h Library of Congress classification
|