Formal Systems of Constructive Mathematics

M. H. Lob. Formal Systems of Constructive Mathematics. Journal of Symbolic Logic, 21(1):63-75, 1956.

Abstract

Abstract is missing.