Logic Tableaux in K
===================

0. Introduction.

1. Notation.

2. Truth.

3. Proof.

4. Conclusion.

Appendix: Diagram Tools.