Logic Colloquium 2007 /

Logic Colloquium 2007 /

Show other versions (1)

"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, Logic Colloquium 2007, with contributions from plenary speakers and selected special session speakers, contains...

Full description

Bibliographic Details
Corporate Authors: Logic Colloquium Wrocław, Poland, Association for Symbolic Logic
Other Authors: Delon, F (Françoise), Delon, F (Françoise)
Format: Conference Proceeding Book
Language:English
Published: Cambridge ; New York : [La Jolla, Calif.] : Cambridge University Press ; Association for Symbolic Logic, 2010
Series:Lecture notes in logic ; 35
Subjects:
Logic, Symbolic and mathematical > Congresses
Logic, Symbolic and mathematical
MATHEMATICS > Infinity
MATHEMATICS > Logic
Electronic books
Conference papers and proceedings > ^A3291746
Conference papers and proceedings
LEADER 07181nam a2200889Ia 4500
001 9aca3565-4530-4eb9-bcbd-2547966f5fd2
005 20240811000000.0
008 100831s2010 enka ob 100 0 eng d
010 |z  2010013411 
015 |a GBB030553  |2 bnb 
019 |a 664682048  |a 680618684  |a 729018621  |a 826452914  |a 851929231  |a 1170403030  |a 1170566365  |a 1241799509 
019 |a 664682048  |a 680618684  |a 729018621  |a 826452914  |a 851929231 
020 |a 0511778422  |q (electronic bk.) 
020 |a 0511785577 
020 |a 0511786719  |q (electronic bk.) 
020 |a 0511787855 
020 |a 0511788584 
020 |a 0511789319  |q (electronic bk.) 
020 |a 1107207886 
020 |a 1282740377 
020 |a 661274037X 
020 |a 9780511778421  |q (electronic bk.) 
020 |a 9780511785573 
020 |a 9780511786716  |q (electronic bk.) 
020 |a 9780511787850 
020 |a 9780511788581 
020 |a 9780511789311  |q (electronic bk.) 
020 |a 9781107207882 
020 |a 9781282740372 
020 |a 9786612740374 
020 |z 0521760658 
020 |z 9780521760652 
024 8 |a 9786612740374 
035 |a (OCoLC)659739645  |z (OCoLC)664682048  |z (OCoLC)680618684   |z (OCoLC)729018621  |z (OCoLC)826452914  |z (OCoLC)851929231 
035 |a (OCoLC)659739645  |z (OCoLC)664682048  |z (OCoLC)680618684  |z (OCoLC)729018621  |z (OCoLC)826452914  |z (OCoLC)851929231  |z (OCoLC)1170403030  |z (OCoLC)1170566365  |z (OCoLC)1241799509 
035 9 |a (OCLCCM-CC)659739645 
037 |a 274037  |b MIL 
040 |a N$T  |b eng  |e pn  |c N$T  |d CDX  |d OCLCQ  |d E7B  |d OCLCQ  |d REDDC  |d OCLCQ  |d CAMBR  |d IDEBK   |d CAMBR  |d YDXCP  |d OCLCF  |d OCLCO  |d OL$  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCL  |d OCLCQ  |d OCL  |d OCLCO   |d OCLCQ  |d NJR  |d OCLCQ  |d UAB  |d OCLCQ  |d AU@  |d OCLCQ  |d S8J  |d OCL 
040 |a N$T  |b eng  |e pn  |c N$T  |d CDX  |d OCLCQ  |d E7B  |d OCLCQ  |d REDDC  |d OCLCQ  |d CAMBR  |d IDEBK  |d CAMBR  |d YDXCP  |d OCLCF  |d OCLCO  |d OL$  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCL  |d OCLCQ  |d OCL  |d OCLCO  |d OCLCQ  |d NJR  |d OCLCQ  |d UAB  |d OCLCQ  |d AU@  |d OCLCQ  |d S8J  |d OCL  |d LUN  |d OCLCQ  |d OCLCO  |d QGK 
049 |a MAIN 
050 4 |a QA9.A1  |b L64 2007eb 
072 7 |a MAT  |x 016000  |2 bisacsh 
072 7 |a MAT  |x 018000  |2 bisacsh 
072 7 |a PBCD  |2 bicssc 
082 0 4 |a 511.3  |2 22 
111 2 |a Logic Colloquium  |d (2007 :  |c Wrocław, Poland) 
245 1 0 |a Logic Colloquium 2007 /  |c edited by Françoise Delon [and others] 
260 |a Cambridge ;  |a New York :  |b Cambridge University Press ;  |a [La Jolla, Calif.] :  |b Association for Symbolic Logic,  |c 2010 
300 |a 1 online resource (xiii, 267 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 Lecture notes in logic ;  |v 35 
500 |a " ... held in Wrocław, Poland, from 14 to 19 July 2007"--Introduction 
504 |a Includes bibliographical references 
505 0 |a Cover -- Contents -- Introduction -- Speakers And Titles -- Tutorials -- Invited Plenary Talks -- Lics Joint Long Talks -- Lics Joint Short Talks -- Special Session Set Theory -- Special Session Proof Complexity And Nonclassical Logics -- Special Session Philosophical And Applied Logic At The Jpl -- Special Session Logic And Analysis -- Special Session Model Theory -- Decorated Linear Order Types And The Theory Of Concatenation -- References -- Cardinal Preserving Elementary Embeddings -- References -- Proof Interpretations And Majorizability -- References -- Proof Mining In Practice -- References -- Cardinal Structure Under Ad -- References -- Three Lectures On Automatic Structures -- References -- PillayS Conjecture And Its Solution8212; A Survey -- References -- Proof Theory And Meaning: On The Context Of Deducibility -- References -- Bounded Super Real Closed Rings -- References -- Analytic Combinatorics Of The Transfinite: A Unifying Tauberian Perspective -- References 
505 0 |a Cover -- Contents -- Introduction -- Speakers And Titles -- Tutorials -- Invited Plenary Talks -- Lics Joint Long Talks -- Lics Joint Short Talks -- Special Session Set Theory -- Special Session Proof Complexity And Nonclassical Logics -- Special Session Philosophical And Applied Logic At The Jpl -- Special Session Logic And Analysis -- Special Session Model Theory -- Decorated Linear Order Types And The Theory Of Concatenation -- References -- Cardinal Preserving Elementary Embeddings -- References -- Proof Interpretations And Majorizability -- References -- Proof Mining In Practice -- References -- Cardinal Structure Under Ad -- References -- Three Lectures On Automatic Structures -- References -- PillayS Conjecture And Its Solution8212;A Survey -- References -- Proof Theory And Meaning: On The Context Of Deducibility -- References -- Bounded Super Real Closed Rings -- References -- Analytic Combinatorics Of The Transfinite: A Unifying Tauberian Perspective -- References 
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, Logic Colloquium 2007, 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. This volume covers many areas of contemporary logic: model theory, proof theory, set theory, and computer science, as well as philosophical logic, including tutorials on cardinal arithmetic, on Pillay's conjecture, and on automatic structures. This volume will be invaluable for experts as well as those interested in an overview of central contemporary themes in mathematical logic"--  |c Provided by publisher 
546 |a English 
588 0 |a Print version record 
596 |a 22 
650 0 |a Logic, Symbolic and mathematical  |v Congresses 
650 7 |a Logic, Symbolic and mathematical  |2 fast 
650 7 |a MATHEMATICS  |x Infinity  |2 bisacsh 
650 7 |a MATHEMATICS  |x Logic  |2 bisacsh 
655 4 |a Electronic books 
655 7 |a Conference papers and proceedings  |2 fast  |= ^A3291746 
655 7 |a Conference papers and proceedings  |2 fast 
700 1 |a Delon, F  |q (Françoise) 
700 1 |a Delon, F  |q (Françoise) 
710 2 |a Association for Symbolic Logic 
776 0 8 |i Print version:  |a Logic Colloquium (2007 : Wrocław, Poland)  |t Logic Colloquium 2007.  |d Cambridge ; New York : Cambridge University Press, 2010   |z 9780521760652  |w (OCoLC)528397716 
776 0 8 |i Print version:  |a Logic Colloquium (2007 : Wrocław, Poland)  |t Logic Colloquium 2007.  |d Cambridge ; New York : Cambridge University Press, 2010  |z 9780521760652  |w (OCoLC)528397716 
830 0 |a Lecture notes in logic ;  |v 35 
999 1 0 |i 9aca3565-4530-4eb9-bcbd-2547966f5fd2  |l a13518537  |s US-CST  |m logic_colloquium_2007______________________________________________________2010_______cambra________________________________________logic_colloquium___________________e 
999 1 0 |i 9aca3565-4530-4eb9-bcbd-2547966f5fd2  |l 11825808  |s US-ICU  |m logic_colloquium_2007______________________________________________________2010_______cambra________________________________________logic_colloquium___________________e 
999 1 1 |l a13518537  |s ISIL:US-CST  |t BKS  |a SUL INTERNET  |b 13518537-1001  |c INTERNET RESOURCE  |d ASIS  |x SUL  |y 13518537-1001  |p UNLOANABLE 

Similar Items