Cantitate/Preț
Produs
Total produse
Vezi coșul
Logic Colloquium '02: Lecture Notes in Logic 27 de Zoé Chatzidakis

Logic Colloquium '02: Lecture Notes in Logic 27

Editat de Zoé Chatzidakis, Peter Koepke, Wolfram Pohlers
en Limba Engleză Paperback – 13 iul 2006
Logic Colloquium '02 includes articles from some of the world's preeminent logicians. The topics span all areas of mathematical logic, but with an emphasis on Computability Theory and Proof Theory. This book will be of interest to graduate students and researchers in the field of mathematical logic.
Citește tot Restrânge

Preț: 44921 lei

Puncte Express: 674

Carte tipărită la comandă

Livrare economică 13-27 iulie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9781568813011
ISBN-10: 1568813015
Pagini: 370
Dimensiuni: 152 x 229 mm
Greutate: 0.52 kg
Ediția:New.
Editura: CRC Press
Colecția A K Peters/CRC Press
Locul publicării:Boca Raton, United States

Cuprins

Preface, Participants Photograph, Generic absoluteness for ?? formulas and the continuum problem, Axioms of generic absoluteness, Generalised dynamic ordinals — universal measures for implicit computational complexity, The Worm principle, “One is a lonely number”: logic and communication, Computable versions of the uniform boundedness theorem, Symmetry of the universal computable function: A study of its automorphisms, homomorphisms and isomorphic embeddings, PCF theory and Woodin cardinals, Embedding finite lattices into the computably enumerable degrees — a status survey, Dimension theory inside a homogeneous model, Reals which compute little, Bisimulation invariance and finite models, Choice principles in constructive and classical set theories, Ash’s theorem for abstract structures, Martin-Lof random and PA-complete sets, Learning and computing in the limit

Notă biografică

Zoe Chatzidakis Department of Mathematics University of Paris 7 Peter Koepke Mathematical Institute University of Bonn Wolfram Pohlers Institute for Mathematical Logic and Foundational Research University of Munster

Descriere

Logic Colloquium '02 includes articles from some of the world's preeminent logicians