قضیه معکوس

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