Recursive equivalence types

Author(s)

• Dekker, J. C. E. (Jacob C. E.)
• Myhill, John Martin

Bibliographic Information

Recursive equivalence types

by J. C. E. Dekker and J. Myhill

（University of California publications in mathematics New series, new ser., v. 3, no. 3）

University of California Press, 1960

Note

Bibliography: p. 208-209

Index: p. 211-213

Details

• NCID: BA76670274
• LCCN: 60064320
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berkeley
• Pages/Volumes: p. 67-213
• Size: 26 cm
• Classification:
  • LCC : QA1
  • DC : 512.8
• Subject Headings:
  • LCSH : Recursive functions
• Parent Bibliography ID:
  • BA6570998X