Return to Article Details Arithmetic Formulated in a Logic of Meaning Containment Download Download PDF