Why I am not a nominalist.

Published in: Notre Dame J. Formal Log. (1983)