![](/img/cover-not-exists.png)
Tableaux and Dual Tableaux: Transformation of Proofs
Joanna Golińska-Pilarek, Ewa OrłowskaVolume:
85
Language:
english
Pages:
20
DOI:
10.1007/s11225-007-9055-8
Date:
April, 2007
File:
PDF, 295 KB
english, 2007