Primitiv-rekursive Funktionen in Peano-Algebren

著者

• Hirschelmann, Arnulf
• Gesellschaft für Mathematik und Datenverarbeitung

書誌事項

Primitiv-rekursive Funktionen in Peano-Algebren

Arnulf Hirschelmann

（Berichte der Gesellschaft für Mathematik und Datenverarbeitung, Nr. 13）

Gesellschaft für Mathematik und Datenverarbeitung, 1969

注記

At head of title: Gesellschaft für Mathematik und Datenverarbeitung, Bonn

Bibliography: p. 37

詳細情報

• NII書誌ID(NCID): BB04855599
• LCCN: 73510043
• 出版国コード: gw
• タイトル言語コード: ger
• 本文言語コード: ger
• 出版地: Bonn
• ページ数/冊数: 37 p.
• 大きさ: 23 cm
• 分類:
  • LCC : QA1
• 件名:
  • LCSH : Recursive functions
  • LCSH : Logic, Symbolic and mathematical
• 親書誌ID:
  • BB04851565