On the proof-theoretic strength of monotone induction in explicit mathematics Michael Rathjen ∗ Stanford University Thomas Glaß - Glas - Document - PDFSEARCH.IO

First Page	Meta Content
	On the proof-theoretic strength of monotone induction in explicit mathematics Michael Rathjen ∗ Stanford University Thomas Glaß Add to Reading List Document Date: 2012-10-11 11:36:56 Open Document File Size: 331,33 KB Share Result on Facebook

On the proof-theoretic strength of monotone induction in explicit mathematics Michael Rathjen ∗ Stanford University Thomas GlaßAdd to Reading List