LaTeX for logicians

Tikz graphics