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