A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Display formulas [help]

Aczel, Peter, The Constructive Universe of Sets (1976)
Aczel, Peter, A Generalisation of Ramsey's Theorem (1977)
Aczel, Peter, Extending the Topological Interpretation to Constructive Set Theory (1977)
Aczel, Peter, The Ordinal Height of a Density (1977)
Aczel, Peter, A General Church-Rosser Theorem (1978)
Aczel, Peter, On Russell's Paradox (1978)
Aczel, Peter, Frege Structures and the Notions of Proposition, Truth and Set (1979)
Aczel, Peter, Lecture Notes on Non-Well-Founded Sets (1985)
Aczel, Peter ; Hinman, Peter G., Recursion in the Superjump
Aczel, Peter; Hinman, Peter G., Recursion in the Superjump (1974)