1 Table of Contents: “...47. From Second-Order Heyting Arithmetic to Second-Order Peano Arithmetic -- 48. Second-Order Peano...”

2 “.... This provides a background for an analysis of subsystems of Peano Arithmetic as well as for combinatorial...”

3 Table of Contents: “... and theses of Le?niewski’s Ontology -- 3. Class theory -- Two: Peano Arithmetic and Whitehead’s Theory...”

4 “... to the proof theory of Peano arithmetic. Further, we present a similar variety of proof procedures for an even...”