Classical arithmetic is part of intuitionistic arithmetic

Michael Potter

pp. 127-141

Publication details

DOI: 10.5840/gps19985517

Full citation:

Potter, M. (1998). Classical arithmetic is part of intuitionistic arithmetic. Grazer Philosophische Studien 55, pp. 127-141.

This document is unfortunately not available for download at the moment.