Hilbert s Program and the Omega-Rule

Aleksandar Ignjatovic. Hilbert s Program and the Omega-Rule. Journal of Symbolic Logic, 59(1):322-343, 1994.

Abstract

Abstract is missing.