Arithmetization of metamathematics in a general setting," Fundamenta Mathematicae 49 (1960)

by S Feferman