Proof-Theoretic Investigations of Subsystems of Second-Order Arithmetic

Author:

Jeremy David Avigad

J. H. Silver

Publication date:

May 1, 1995

Publication type:

PhD Thesis (Author field refers to student + advisor)

Topics

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