Hyperproof - Barwise, Jon (CSLI lecture notes, 1994)