Babenyshev, S., & Martins, M A.(2014). Deduction-detachment theorem in hidden k-logics. Journal of Logic and Computation, 24(1), 233-255. doi:10.1093/logcom/ext008
MLA ZitierstilBabenyshev, S., and M. A. Martins. "Deduction-detachment Theorem in Hidden K-logics". Journal of Logic and Computation, 24.1 ( 2014 ): 233-255.
Bitte überprüfen Sie diese Angaben auf Richtigkeit, bevor Sie sie in Ihre Arbeit aufnehmen.