Peter Aczel
Peter Henry George Aczel (; 31 October 1941 – 1 August 2023) was a British mathematician, logician and Emeritus joint Professor in the Department of Computer Science and the School of Mathematics at the University of Manchester. He is known for his work in non-well-founded set theory, constructive set theory, and Frege structures.
Provided by Wikipedia
1
Published 1992
Other Authors:
“...Aczel, Peter, 1941- ....”Publisher description
Table of contents
Conference Proceeding
Book
