Logic Colloquium 2006 / edited by S. Barry Cooper [and three others].

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

Full description

Bibliographic Details
Uniform Title:Lecture notes in logic ; 32.
Corporate Author: Logic Colloquium Nijmegen, Netherlands
Other Authors: Cooper, S. B. (S. Barry) (Editor)
Language:English
Published: Cambridge : Cambridge University Press, 2009.
Series:Lecture notes in logic ; 32.
Subjects:
Genre:
Online Access:
Physical Description:1 online resource (ix, 373 pages) : digital, PDF file(s).
Format: Electronic Conference Proceeding eBook

MARC

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