Barwise, J., Etchemendy, J., Allwein, G., Greaves, M., Lenz, M., Etchemendy, J., & Allwein, G. (1994). Hyperproof. Stanford, CA.: CSLI Publications.

Barwise, Jon, John Etchemendy, Gerard Allwein, Mark Greaves, Michael Lenz, John Etchemendy, and Gerard Allwein. Hyperproof. Stanford, CA.: CSLI Publications, 1994.

Barwise, Jon, et al. Hyperproof. Stanford, CA.: CSLI Publications, 1994.