Quine’s NF, 60 years on (1997)

by T Forster
Venue:American Mathematical Monthly