اثبات استنتاجهای بی ‌واسطه در قضیه ‌های محصوره (نوع: PDF  حجم: 458KB)