keyword Gentzen / (1 Article)
- Sort by
- Date
-
1.
Corresponding Author : مرتضوی، سیدمحمد ؛ Writer : نبوی، لطف الله ؛ فاضل فلاورجانی، داوود ؛
Journal:معارف منطقی»بهار و تابستان 1398 - شماره 10 Ranking ب (Hawza (32 page(s) - From 87 to 118 )
Keywords:قواعد استنتاجاستنتاج طبیعیبرهانکروش شرح نویسیروش گرافیکیگنتزنیاکوفسکیnatural deductionsub proofannotation writing methodgraphicalmethodGentzendeduction rulesJaskowski
Journal (Article count) |
---|
Journal معارف منطقی 1 |
Related keywords
Article publication trend
Scientific rank
- ب (1 Article)