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