![](/img/cover-not-exists.png)
[Outstanding Contributions to Logic] Ewa Orłowska on Relational Methods in Logic and Computer Science Volume 17 || Tableaus and Dual Tableaus
Golińska-Pilarek, Joanna, Zawidzki, MichałVolume:
10.1007/97
Year:
2018
Language:
english
DOI:
10.1007/978-3-319-97879-6_5
File:
PDF, 555 KB
english, 2018