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. Standard No.: 19601 Source: Textual Subjects--Topical Terms: Logic Dewey Class. No.: B:R1, K5-;1