Language, proof, and logic - Barwise, Jon (CSLI Publications, 2003)