Freek Wiedijk. Is ZF a hack?: Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics. J. Applied Logic, 4(4):622-645, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.