Del 32 i serien Lecture Notes in Logic
Logic Colloquium 2006
Inbunden, Engelska, 2009
2 629 kr
Tillfälligt slut
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.
Produktinformation
- Utgivningsdatum2009-09-07
- Mått158 x 235 x 25 mm
- Vikt630 g
- FormatInbunden
- SpråkEngelska
- SerieLecture Notes in Logic
- Antal sidor384
- FörlagCambridge University Press
- ISBN9780521110815
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
Del 258
Del 259
COMPUTABILITY IN CONTEXT: COMPUTATION AND LOGIC IN THE REAL WORLD
Cooper S Barry, S Barry Cooper, Andrea Sorbi
Inbunden, 2011
2 799 kr
Del 8402
Theory and Applications of Models of Computation
T V Gopal, Manindra Agrawal, Angsheng Li, S. Barry Cooper
Häftad, 2014
749 kr
Computing With Incomplete Information: The Mathematics Of Enumeration And Positive Reducibilities
S Barry Cooper, Andrea Sorbi, Mariya Soskova
Inbunden, 2027
2 579 kr
Hoppa över listan
Mer från samma serie
Del 33
Del 39
Del 34
Del 30
Stable Domination and Independence in Algebraically Closed Valued Fields
Deirdre Haskell, Ehud Hrushovski, Dugald Macpherson
Häftad, 2011
709 kr
Del 35
Logic Colloquium 2007
Françoise Delon, Ulrich Kohlenbach, Penelope Maddy, Frank Stephan
Inbunden, 2010
2 419 kr
Del 37
Wadge Degrees and Projective Ordinals
Alexander S. Kechris, Benedikt Löwe, John R. Steel
Inbunden, 2011
2 999 kr
Del 40
Del 29
Del 28
Logic Colloquium 2005
Costas Dimitracopoulos, Ludomir Newelski, Dag Normann, John R. Steel, Costas Dimitracopoulos, Ludomir Newelski, Dag Normann
Inbunden, 2007
2 449 kr
Del 30
Stable Domination and Independence in Algebraically Closed Valued Fields
Deirdre Haskell, Ehud Hrushovski, Dugald Macpherson
Inbunden, 2007
2 509 kr
Hoppa över listan
Du kanske också är intresserad av
Interactive Theorem Proving
Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk
Häftad, 2011
749 kr
Del 10383
Intelligent Computer Mathematics
Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke
Häftad, 2017
749 kr
Del 2
Del 132
Philosophical Uses of Categoricity Arguments
Penelope Maddy, Jouko Väänänen
Häftad, 2023
389 kr
Del 70
Del 70
Philosophical Uses of Categoricity Arguments
Penelope Maddy, Jouko Väänänen
Inbunden, 2023
1 159 kr