The quantifier complexity of NF. Kaye, Richard — 1996 Bulletin of the Belgian Mathematical Society - Simon Stevin