Language, Proof, and Logic (Paperback, CD-ROM)