1952], The axiom of infinity in Quine’s New Foundations (0)

by J B Rosser
Venue:J. Symbolic Logic