Replacement-closed Rules for Free and for Classical Logic

Author:

Yutang Lin

W. Craig

Publication date:

December 1, 1983

Publication type:

PhD Thesis (Author field refers to student + advisor)

Topics

Past PhDs topic page, Phd-MathAnalysis topic page, PhD-year-1983 topic page