Recursive equivalence types

著者

書誌事項

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

大学図書館所蔵 件 / 2

この図書・雑誌をさがす

注記

Bibliography: p. 208-209

Index: p. 211-213

関連文献: 1件中  1-1を表示

詳細情報

  • NII書誌ID(NCID)
    BA76670274
  • LCCN
    60064320
  • 出版国コード
    us
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Berkeley
  • ページ数/冊数
    p. 67-213
  • 大きさ
    26 cm
  • 分類
  • 件名
  • 親書誌ID
ページトップへ