Type reducing correspondences and well-orderings: Frege's and Zermelo 's constructions re-examined (1995)

by J L Bell
Venue:Journal of Symbolic Logic