Arithmetization of metamathematics in a general setting (1960)

by S Feferman
Venue:Fundamenta Mathematicae, XLIX