Ամսագրի կամ հրապարակման վերնագիր:
Հրապարակման ամսաթիվ:
Հատոր:
ISSN:
Լրացուցիչ տեղեկություն:
Վերնագիր:
Some new propositional proof systems for intuitionistic and minimal logics
Ստեղծողը:
Anahit A. Chubaryan ; Sergey Sayadyan
Some new propositional proof systems for intuitionistic and minimal logics
Anahit A. Chubaryan ; Sergey Sayadyan