Author Details

Petrukhin, Y. I., Russian Federation

  • Vol 3, No 4 (2018) - Mathematics
    NATURAL DEDUCTION SYSTEMS FOR SOME MODIFICATIONS OF KLEENE’S AND DUNN — BELNAP’S LOGICS
    Details  PDF