Vicious Circles: On the Mathematics of NonWellfounded Phenomena. (1996)

by J Barwise, L S Moss