Finite Notations for Infinite Terms

Helmut Schwichtenberg. Finite Notations for Infinite Terms. Annals of Pure and Applied Logic, 94(1-3):201-222, 1998.

Abstract

Abstract is missing.