Opening book details…
About this Mathematics article
Synthetic Tableaux with Unrestricted Cut for First-Order Theories by LeszczyÅska-Jasion, Dorota; Chlebowski, Szymon is a Mathematics article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Mathematics.
- Author
- LeszczyÅska-Jasion, Dorota; Chlebowski, Szymon
- Publisher
- MDPI AG; Basel: MDPI AG, 2012- (ISSN 2075-1680)
- Published
- 2019
- Field
- Mathematics (Physical Sciences)
More by LeszczyÅska-Jasion, Dorota; Chlebowski, Szymon
Browse all works by LeszczyÅska-Jasion, Dorota; Chlebowski, Szymon