کتاب زبان اصلی Mathematical Logic  اثر Stephen Cole Kleene کتاب Mathematical Logic Dover Books on Mathematics x000D  منطق ریاضی نوشته Stephen Cole Kleene در سال 1967 منتشر شده است این کتاب دربرگیرنده مباحث اصلی منطق ریاضی است و شامل موضوعاتی چون منطق گزاره ای حساب گزاره ای اصل تعمیم پذیری توابع بازگشتی اعداد طبیعی مجموعه های قابل شمارش و غیرقابل شمارش و نظریه مدل ها می شود این کتاب به عنوان یکی از متون کلاسیک در زمینه منطق ریاضی شناخته می شود  x000D   x000D