derivation system
دستگاه اشتقاق
derivation rules
قواعد اشتقاق
complexity of proof
پیچیدگی برهان
structure of proof
ساختار برهان
system of proof
دستگاه برهان