کتاب زبان اصلی A First Course in Mathematical Logic and Set Theory درس اولیه منطق ریاضی و نظریه مجموعه ها A First Course in Mathematical Logic and Set Theory نوشته مایکل اولیری x000D   x000D  کتاب درس اولیه منطق ریاضی و نظریه مجموعه ها نوشته مایکل اولیری استاد فلسفه دانشگاه میامی در سال 1997 منتشر شده است این کتاب به معرفی مفاهیم پایه ای منطق ریاضی و نظریه مجموعه ها می پردازد مطالب آن شامل مباحثی همچون منطق گزاره ای روش های اثبات نظریهٔ مدل ها اصول موضوعه ای زرملوفرانکل انواع مجموعه ها و روابط توابع اعداد طبیعی و اعداد اصلی است هدف کتاب فراهم کردن دانش پایه ای لازم در زمینه منطق ریاضی و نظریه مجموعه ها برای دانشجویان رشته های مرتبط است x000D   x000D