- Author: Urszula B. Wybraniec-Skardowska
- Language: English
- Year: 2022
- Author: Hajnal Andréka Zalán Gyenis István Németi Ildikó Sain
- Language: English
- Year: 2022
- Author: Jean-Yves Beziau Ioannis Vandoulakis
- Language: English
- Year: 2022
- Author: João Rasga Cristina Sernadas
- Language: English
- Year: 2020
Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi
pdf
- Author: Andrzej Indrzejczak
- Language: English
- Year: 2021
- Author: João Rasga Cristina Sernadas
- Language: English
- Year: 2020
- Author: Jens Lemanski (editor)
- Language: English
- Year: 2020
- Author: Saloua Chatti
- Language: English
- Year: 2019