کتاب زبان اصلی Logic Colloquium   اثر جمعی از نویسندگان Logic Colloquium 2000 همایش منطق 2000 نوشته Rene Cori Alexander Razborov Stevo Todorcevic رنه کوری الکساندر رازبوروف استوو تودورسویچ مجموعه مقالاتی است که در سال 2002 میلادی به چاپ رسیده است این کتاب حاوی مقالات ارائه شده در همایش منطق سال 2000 در زمینه های مختلف منطق ریاضی و منطق محاسباتی است مقالات این کتاب دربرگیرنده موضوعاتی همچون نظریه مدل ها منطق غیرکلاسیک نظریه اثبات نظریه رده ها منطق توپولوژیکی و کاربرد منطق در علوم کامپیوتر است این مجموعه به عنوان یکی از منابع معتبر در حوزه منطق ریاضی محسوب می شود و توسط متخصصان و دانشجویان این حوزه مورد استفاده قرار می گیرد