1. Frontiers of Paraconsistent Logic,2000
2. The Logic of Provability;Boolos,1993
3. The undecidability of k-provability;Buss;Ann. Pure Appl. Logic,1991
4. An introduction to proof theory;Buss,1998
5. On sequents and tableaux for many-valued logics;Carnielli;J. Non-Classical Logic,1991