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 115 Documents Keywords:philosophy and foundations of mathematics × Cite Format Result Cite Review PDF Full Text: DOI EuDML