PL-09.amr
- 8
- 6.40 مگابایت
1. قواعد فرعی در سیستم استنتاج طبیعی منطق گزاره های کلاسیک
2. معرفی یک سیستم اصل موضوعی منطق گزاره های کلاسیک به سبک هیلبرت
برای نمایش این فایل کافی است از لینک زیر استفاده و آن را در مکان مناسب کپی نمایید.