Yutang Lin

MathSciNet


Ph.D. University of California, Berkeley 1983 UnitedStates
Dissertation: Replacement-closed Rules for Free and for Classical Logic

Advisor: William Craig

No students known.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 31611 for the advisor ID.