Feferman, S. Arithmetization of metamathematics in a general setting. (English) Zbl 0095.24301 Fundam. Math. 49, 35-92 (1960). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 5 ReviewsCited in 114 Documents Keywords:philosophy and foundations of mathematics PDFBibTeX XMLCite \textit{S. Feferman}, Fundam. Math. 49, 35--92 (1960; Zbl 0095.24301) Full Text: DOI EuDML