Primitive recursive arithmetic and its role in the foundations of arithmetic

historical and philosophical reflections

William W. Tait

pp. 161-180


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

Not implemented yet !