THE STUDY OF PROOFS AND ORDINALS.
Final rept. 1 Oct 69-30 Jun 70,
STANFORD UNIV CALIF DEPT OF MATHEMATICS
Pagination or Media Count:
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
- Theoretical Mathematics