Predicates recursive in a type-2 object and Kleene hierarchies

著者

• 柘植, 利之 ツゲ, トシユキ

書誌事項

Predicates recursive in a type-2 object and Kleene hierarchies

by Toshiyuki Tsugué

[s.n.], [1961]

タイトル別名

型-2の対象における囬歸述[語]とクリーネの重層

型2の対象における回帰述語とクリーネの重層

注記

Thesis (Ph.D.)--Nagoya University. Graduate School of Science, 1961

Kind of academic degree: 理学博士

Date degree granted: 1961-01-19

Report number: 旧制第3287号

Published in Commentarirum mathematicorum universitatis sancti pauli

With 4 reference papers

詳細情報

• NII書誌ID(NCID): BB16825380
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: [S.l.]
• ページ数/冊数: p. [97]-117
• 大きさ: 28 cm