Hyperimmunity in 2ℕ

@article{Binns2007HyperimmunityI2,
  title={Hyperimmunity in 2ℕ},
  author={Stephen Binns},
  journal={Notre Dame Journal of Formal Logic},
  year={2007},
  volume={48},
  pages={293-316}
}