Proof theory: a selection of papers from the Leeds proof theory programme 1990 ed by Peter Aczel and REFs
Aczel Peter Ed
Proof theory: a selection of papers from the Leeds proof theory programme 1990 ed by Peter Aczel and REFs - Cambridge Cambridge University Press 1992 - x,306p
Includes bibliographical references; ^mPurchase; ; 1996-09-13^bSB^c1996-09-18
052141413X (hbd)
3409
Textual
Logic
Mathematics
B:(R1), N2
Proof theory: a selection of papers from the Leeds proof theory programme 1990 ed by Peter Aczel and REFs - Cambridge Cambridge University Press 1992 - x,306p
Includes bibliographical references; ^mPurchase; ; 1996-09-13^bSB^c1996-09-18
052141413X (hbd)
3409
Textual
Logic
Mathematics
B:(R1), N2
