Working foundations. Synthese 62 (1985)

by S Feferman