Crossley J. N Ed.

Formal Systems and Recursive Functions Crossley J. N Ed.; Dummett M. A. E Ed. - Amsterdam North Holland 1965 - xv,464p. cm.

19601

Textual


Logic

B:R1, K5-;1