Peter Aczel “Frege Structures and the Notions of Proposition, Truth and Set”, in: Jon Barwise, H. Jerome Keisler, Kenneth Kunen ed., The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A., N…