. . . . . . . . . . "Logic for computable functions description of a machine implementation" . "Logic for computable functions description of a machine implementation"@en . "logic for computable functions description of a machine imp lementation" . . . .