Formal Consistency Proofs and Interpretability of Theories

Author:

Solomon Feferman

Alfred Tarski

Publication date:

June 1, 1957

Publication type:

PhD Thesis (Author field refers to student + advisor)

Topics

Past PhDs topic page, Phd-MathLogic topic page, PhD-year-1957 topic page