Classical arithmetic is part of intuitionistic arithmetic

Michael Potter

pp. 127-141


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

Not implemented yet !