![](/img/cover-not-exists.png)
Synthetic Tableaux with Unrestricted Cut for First-Order Theories
LeszczyÅska-Jasion, Dorota, Chlebowski, SzymonVolume:
8
Journal:
Axioms
DOI:
10.3390/axioms8040133
Date:
November, 2019
File:
PDF, 397 KB
2019