Justification Logic (Reasoning with Reasons) || Sequents and Tableaus
Artemov, Sergei, Fitting, MelvinТом:
10.1017/97
Рік:
2019
Мова:
english
DOI:
10.1017/9781108348034.006
Файл:
PDF, 230 KB
english, 2019