Abstract
Contents
A. Preliminary Analysis
B. An Example from Number Theory
C. Formulation of the Rules
D. Fundamental Theorems
E. The Natural Systems T
F. The Propositional Algebras
G. Concluding Remarks
Information
Published: 1 January 1966
First available in Project Euclid: 29 March 2007
Rights: Copyright © 1966, University of Notre Dame
