Accession Number:

AD0713462

Title:

THE STUDY OF PROOFS AND ORDINALS.

Descriptive Note:

Final rept. 1 Oct 69-30 Jun 70,

Corporate Author:

STANFORD UNIV CALIF DEPT OF MATHEMATICS

Personal Author(s):

Report Date:

1970-01-01

Pagination or Media Count:

5.0

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

Subject Categories:

  • Theoretical Mathematics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE