On uniform weak K¨onig’s lemma Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade - Primitive recursive arithmetic - Document - PDFSEARCH.IO

First Page	Meta Content
	On uniform weak K¨onig’s lemma Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade Add to Reading List Document Date: 2012-11-16 09:11:16 Open Document File Size: 156,78 KB Share Result on Facebook

On uniform weak K¨onig’s lemma Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny MunkegadeAdd to Reading List