فهرست مطالب كتاب *
 پيشگفتار *
 1 - حساب غير صوري گزاره ها *
 2 - حساب صوري گزاره ها *
 3 - حساب غير صوري محمولات *
 4 - حساب صوري محمولات *
 5 - دستگاه هاي رياضي *
 6 -  قضيه ي ناتماميت گدل *
 7- محاسبه پذيري . حل ناپذيري . تصميم ناپذيري *