نبوی, دکتر لطف الله. (1381). شیوه استنتاج طبیعی در سیستم های زمانی kt و kc. , 1(1), -.

دکتر لطف الله نبوی. "شیوه استنتاج طبیعی در سیستم های زمانی kt و kc". , 1, 1, 1381, -.

نبوی, دکتر لطف الله. (1381). 'شیوه استنتاج طبیعی در سیستم های زمانی kt و kc', , 1(1), pp. -.

نبوی, دکتر لطف الله. شیوه استنتاج طبیعی در سیستم های زمانی kt و kc. , 1381; 1(1): -.