قضیه مستقیم

کتاب ورودی به منطق ریاضی – ایزائیل سالامونوویچ گرادشتین