Logic of Number

In The Logic of Number, Neil Tennant defines and develops his Natural Logicist account of the foundations of the natural, rational, and real numbers. Based on the logical system free Core Logic, the central method is to formulate rules of natural deduction governing variable-binding number-abstraction operators and other logico-mathematical expressions such as zero and successor. These enable ''si...