Justification Logic (Reasoning with Reasons) || Arithmetical Completeness and BHK Semantics
Artemov, Sergei, Fitting, MelvinVolume:
10.1017/97
Year:
2019
Language:
english
DOI:
10.1017/9781108348034.010
File:
PDF, 180 KB
english, 2019