![](/img/cover-not-exists.png)
Strong Normalization for Truth Table Natural Deduction
Geuvers, Herman, van der Giessen, Iris, Hurkens, Tonny, Altenkirch, Thorsten, Schubert, AleksyVolume:
170
Journal:
Fundamenta Informaticae
DOI:
10.3233/fi-2019-1858
Date:
October, 2019
File:
PDF, 418 KB
2019