Parameter Free Induction and Reflection

Lev D. Beklemishev. Parameter Free Induction and Reflection. In Georg Gottlob, Alexander Leitsch, Daniele Mundici, editors, Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC 97, Vienna, Austria, August 25-29, 1997, Proceedings. Volume 1289 of Lecture Notes in Computer Science, pages 103-113, Springer, 1997.

Authors

Lev D. Beklemishev

This author has not been identified. Look up 'Lev D. Beklemishev' in Google