Concepedia

Arithmetization of metamathematics in a general setting

Solomon Feferman

Fundamenta Mathematicae · 1960 · 444 citations · 0 references

DOIFull text

Open access

Concepts