1. Aczel, P. 1980. ‘Frege structures and the notions of proposition, truth and set’, in J. H. Barwise, J. Keisler and K. Kunen, eds.The Kleene Symposium, Madison, Wisconsin, June 18–24, 1978, Amsterdam: U.S. North-Holland, pp. 31–59.
2. Computer Implication and the Curry Paradox
3. Stability and Paradox in Algorithmic Logic
4. Abstraction in Algorithmic Logic