Applied Foundations: Proof Mining in Mathematics Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade - Intuitionistic type theory - Document - PDFSEARCH.IO

First Page	Meta Content
	Applied Foundations: Proof Mining in Mathematics Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade Add to Reading List Document Date: 2012-11-12 10:34:06 Open Document File Size: 58,91 KB Share Result on Facebook

Applied Foundations: Proof Mining in Mathematics Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny MunkegadeAdd to Reading List