Constructive Cut Elimination Arguments and Applications

Author:

Jon Hawley Pearce

Leo Anthony Harrington

Publication date:

December 1, 1980

Publication type:

PhD Thesis (Author field refers to student + advisor)

Topics

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