Recursive equivalence types / by J.C.E. Dekker and J. Myhill

Dekker, J. C. E

1960, 1st edition. Berkeley : University of California Press. Poor copy in the original stiff-card wrappers; edges somewhat nicked, dust-dulled, and rubbed as with age (with some loss). Loss in spine, creased and stained cover. Bumped pages. Item #421561

Physical description; 67-213 p. 26 cm. Notes; Bibliography: p. 208-209. Subjects; Recursive functions. Mathematics. Mathematics - equivalencies.

Price: €12.95