Non-Well-Founded Sets, CSLI Lecture Notes 14 (1988)

by Peter Aczel
Venue:Stanford University, Center for