First Page | Document Content | |
---|---|---|
Date: 2012-11-30 05:38:20Mathematics 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 2Add to Reading ListSource URL: www.lix.polytechnique.frDownload Document from Source WebsiteFile Size: 541,20 KBShare Document on Facebook |