Proof–theoretic investigations on Kruskal’s theorem Michael Rathjen Department of Mathematics, Ohio State University Columbus, Ohio 43210, USA Andreas Weiermann

First Page		Document Content
Date: 2014-04-24 05:12:42		Proof–theoretic investigations on Kruskal’s theorem Michael Rathjen Department of Mathematics, Ohio State University Columbus, Ohio 43210, USA Andreas Weiermann Add to Reading List Source URL: www1.maths.leeds.ac.uk Download Document from Source Website File Size: 470,52 KB Share Document on Facebook