Conference In Mathematical Logic - London '70Peter Aczel, Wayne Richter (auth.), Wilfrid Hodges1972PDF6.4 MBEN
Situation theory and its applications. Vol. 3 Proceedings of the Third International Conference on Situation Theory and its Applications, held at Oiso, Japan, in November of 1991Peter Aczel, David Israel & 2 more1993DJVU3.1 MB
Peter Aczel. Frege structures and the notions of proposition, truth and set. The Kleene Symposium, Proceedings of the symposium held June 18–24, 1978 at Madison, Wisconsin, U.S.A., edited by Jon Barwise, H. Jerome Keisler, and Kenneth Kunen, Studies in logic and the foundations of mathematics, vol. 101, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1980, pp. 31–59.Hatcher · Journal of Symbolic Logic1986PDF132 KB
Peter Aczel. Quantifiers, games and inductive definitions. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 1–14. - Kit Fine. Some connections between elementary and modal logic.…Thomason · Journal of Symbolic Logic1978PDF474 KB
The Glance of Countess Hahn-Hahn (Down the Danube)by Péter Esterházy; Richard AczélMolnár · Chicago Review2001PDF394 KB
Aczel Peter. Non-well-founded sets. With a foreword by Jon Barwise. CSLI lecture notes, no. 14. Center for the Study of Language and Information, Stanford 1988, also distributed by the University of Chicago Press, Chicago, xx + 131 ppBell · Journal of Symbolic Logic1989PDF515 KB
Aczel Peter. The type theoretic interpretation of constructive set theory. Logic Colloquium '77, Proceedings of the colloquium held in Wrocław, August 1977, edited by Macintyre Angus, Pacholski Leszek, and Paris Jeff, Studies in logic and the foundations of mathematics, vol. 96, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978, pp. 55–66Veldman · Association for Symbolic Logic1984PDF332 KB
Feferman Solomon. Systems of predicative analysis, II: representations of ordinals. The journal of symbolic logic, vol. 33 (1968), pp. 193–220.Aczel Peter. Describing ordinals using functional of transfinite type. The journal of symbolic logic, vol. 37 (1972), pp. 35–47.Bridge Jane. A simplification of the Bachmann method for generating large countable ordinals. The journal of symbolic logic,…Pfeiffer · Association for Symbolic Logic1983PDF340 KB
