![](/img/cover-not-exists.png)
A Gentzen Calculus for Nothing but the Truth
Wintein, Stefan, Muskens, ReinhardVolume:
45
Language:
english
Journal:
Journal of Philosophical Logic
DOI:
10.1007/s10992-015-9385-3
Date:
August, 2016
File:
PDF, 3.26 MB
english, 2016