Back to Results
First PageMeta Content
Mathematics / Logic / Proof theory / Mathematical logic / Deductive reasoning / Natural deduction / Symbol / Differential topology / Generalised Whitehead product / CurryHoward correspondence


Herbrand-Confluence for Cut Elimination in Classical First Order Logic Stefan Hetzl1 and Lutz Straßburger2 1 2
Add to Reading List

Document Date: 2012-11-30 05:38:20


Open Document

File Size: 541,20 KB

Share Result on Facebook
UPDATE