Herbrand-Confluence for Cut Elimination in Classical First Order Logic Stefan Hetzl1 and Lutz Straßburger2 1 2 - Generalised Whitehead product - Document - PDFSEARCH.IO

First Page	Meta Content
	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

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