A Note on a Parameterized Version of the Well-Founded Induction Principle (1995)

Cached

Download Links

by Bernhard Gramlich