01047    a2200301   4500001001100000005001700011008003900028020001800067037003600085040000700121041000800128072001500136072001600151072001300167072001400180072002100194072002100215072001700236100002200253245005200275250000600327260003500333300001000368520030500378700002200683700002500705999001500730156881301520250317100406.0250312042006xx                   eng    a9781568813011  bTaylor & FranciscGBP 45.99fBB  a01  aeng7 aPBD2thema7 aPBCH2thema7 aPBD2bic7 aPBCH2bic7 aMAT0000002bisac7 aMAT0280002bisac7 a511.32bisac1 aZoé Chatzidakis10aLogic Colloquium '02bLecture Notes in Logic 27  a1  bA K Peters/CRC Pressc20060713  a370 p  bLogic 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.1 aPeter Koepke4B011 aWolfram Pohlers4B01  c1790d1790