بررسی و نقد نظرهای گنتزن و هکین دربار نقش قواعد ساختاری و عمل گری در تعریف ثوابت منطقی

چکیده مقاله