Vydania od Barwise, Department of Mathematics Jon (Indiana University)