Izdaja: Barwise, Department of Mathematics Jon (Indiana University)