The Logical Meaning of Programs of a Subrecursive Language

Wolfgang Coy. The Logical Meaning of Programs of a Subrecursive Language. Inf. Process. Lett., 4(5):121-126, 1976.

Abstract

Abstract is missing.