THE STUDY OF PROOFS AND ORDINALS.
Abstract
The results of a project devoted to the study and characterization of various stratifications of the notions of mathematical proofs and definitions are briefly summarized. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jan 01, 1970
- Accession Number
- AD0713462
Entities
People
- G. Kreisel
- Solomon Feferman
Organizations
- Stanford University