کتاب های Peter Aczel
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Peter Aczel, Harold Simmons, Stanley S. Wainer, 1993
Conference in Mathematical Logic — London ’70
Peter Aczel, 1972
Non-Well-Founded Sets
Peter Aczel, 1988
Non-Well-Founded Sets
Peter Aczel, 1988
Logic of Computation
Peter Aczel (auth.), 1997
Logic of Computation
Peter Aczel (auth.), 1997
Situation Theory and Its Applications
Peter Aczel, David Israel, Yasuhiro Katagiri, Stanley Peters (eds.), 1993
