The natural numbers in constructive set theory (0)

by M Rathjen
Venue:Mathematical Logic Quarterly 54 (2008) n.1