منطق با علوم کامپیوتر و به طور‌خاص نظریه پیچیدگی محاسبه مرتبط است. فایل زیر که متن مقاله‌ای است که چند سال پیش در مجله فرهنگ و اندیشه ریاضی چاپ شده است به نظریه‌های حسابی مرتبه اول و ارتباط آنها با نظریه پیچیدگی محاسبه می‌پردازد.
منطق و پیچیدگی
درس مبانی منطق و نظریه مجموعه
مقاله‌ای در مورد منطق و نظریه‌ی پیچیدگی
درباره این سایت