|
|
|
|
LEADER |
00000nam a22000008i 4500 |
001 |
in00005574555 |
003 |
OCoLC |
005 |
20220616144952.0 |
006 |
m|||||o||d|||||||| |
007 |
cr ||||||||||| |
008 |
090810s2009||||enk o ||1 0|eng|d |
020 |
|
|
|a 9780511605321 (ebook)
|
020 |
|
|
|z 9780521110815 (hardback)
|
035 |
|
|
|a CR9780511605321
|
040 |
|
|
|a UkCbUP
|b eng
|e rda
|c UkCbUP
|d UtOrBLW
|
049 |
|
|
|a QEMP
|
050 |
|
4 |
|a QA9.A1
|b L64 2006
|
082 |
0 |
4 |
|a 511.3
|2 22
|
111 |
2 |
|
|a Logic Colloquium
|d (2006 :
|c Nijmegen, Netherlands)
|0 http://id.loc.gov/authorities/names/n79106259
|
245 |
1 |
0 |
|a Logic Colloquium 2006 /
|c edited by S. Barry Cooper [and three others].
|
264 |
|
1 |
|a Cambridge :
|b Cambridge University Press,
|c 2009.
|
300 |
|
|
|a 1 online resource (ix, 373 pages) :
|b digital, PDF file(s).
|
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 Lecture notes in logic ;
|v 32
|
500 |
|
|
|a Title from publisher's bibliographic system (viewed on 05 Oct 2015).
|
520 |
|
|
|a The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings in the field. The current volume, with contributions from plenary speakers and selected special session speakers, contains both expository and research papers by some of the best logicians in the world. The most topical areas of current research are covered: valued fields, Hrushovski constructions (from model theory), algorithmic randomness, relative computability (from computability theory), strong forcing axioms and cardinal arithmetic, large cardinals and determinacy (from set theory), as well as foundational topics such as algebraic set theory, reverse mathematics, and unprovability. This volume will be invaluable for experts as well as those interested in an overview of central contemporary themes in mathematical logic.
|
650 |
|
0 |
|a Logic, Symbolic and mathematical
|v Congresses.
|0 http://id.loc.gov/authorities/subjects/sh2008107112
|
700 |
1 |
|
|a Cooper, S. B.
|q (S. Barry),
|e editor.
|0 http://id.loc.gov/authorities/names/n95107558
|
776 |
0 |
8 |
|i Print version:
|a Logic Colloquium (2006 : Nijmegen, Netherlands).
|t Logic Colloquium 2006
|z 9780521110815.
|
830 |
|
0 |
|a Lecture notes in logic ;
|v 32.
|0 http://id.loc.gov/authorities/names/n93082404
|
856 |
4 |
0 |
|u http://ezproxy.msu.edu/login?url=http://dx.doi.org/10.1017/CBO9780511605321
|z Connect to online resource - MSU authorized users
|t 0
|
907 |
|
|
|y .b119428969
|b 211128
|c 160728
|
998 |
|
|
|a wb
|b 160728
|c m
|d a
|e -
|f eng
|g enk
|h 0
|i 3
|
999 |
f |
f |
|i 11341a7e-bc5c-5cc9-a889-c6c2aa747d45
|s d967dcb5-2195-565d-913a-dc9c00af2d64
|t 0
|
952 |
f |
f |
|p Non-Circulating
|a Michigan State University-Library of Michigan
|b Michigan State University
|c MSU Online Resource
|d MSU Online Resource
|t 0
|e QA9.A1 L64 2006
|h Library of Congress classification
|i Electronic Resource
|j Online
|n 1
|
856 |
4 |
0 |
|t 0
|u http://ezproxy.msu.edu/login?url=http://dx.doi.org/10.1017/CBO9780511605321
|y Connect to online resource - MSU authorized users
|