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) : Feferman,Solomon ; Kreisel,G.

Report Date : 1970

Pagination or Media Count : 5

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)

Descriptors :   (*MATHEMATICAL LOGIC, REPORTS), RECURSIVE FUNCTIONS, PROBLEM SOLVING

Subject Categories : Theoretical Mathematics

Distribution Statement : APPROVED FOR PUBLIC RELEASE