کتاب زبان اصلی First Course in Mathematical Logic  First Course in Mathematical Logic اولین دوره منطق ریاضی نوشته Patrick Suppes Shirley Hill پاتریک سوپس شرلی هیل کتابی است که نخستین بار در سال 1964 منتشر شد و سپس در سال 2008 بازنشر شده است این کتاب به معرفی اصول پایه ای منطق ریاضی و کاربرد آن در ریاضیات می پردازد نویسندگان با زبانی ساده مفاهیمی چون منطق گزاره ای استنتاج منطقی روش های اثبات و نظریه های بنیادین ریاضی را توضیح می دهند کتاب حاوی مثال ها و تمرین های فراوانی برای تثبیت یادگیری است این اثر به عنوان کتاب درسی مقدماتی مناسب برای دانشجویان ریاضی شناخته می شود