Crossley J. N Ed.

Formal Systems and Recursive Functions - Amsterdam North Holland 1965 - xv,464p. cm.

19601

Textual


Logic

B:R1, K5-;1