Crossley J N

Formal systems and recursive functions. - Amsterdam North-Holland Publishing 1965 - 320p. cm. - Studies in logic and the foundations of mathematics .

45921

Textual

R193, K5