Crossley J N Formal systems and recursive functions. - Amsterdam North-Holland Publishing 1965 - 320p. cm. - Studies in logic and the foundations of mathematics . Standard No.: 45921 Source: Textual Dewey Class. No.: R193, K5