Admissible Set Theory (1990)

by John Barwise