Computability : computable functions, logic, and the foundations of mathematics

著者

• Epstein, Richard L.
• Carnielli, Walter A. (Walter Alexandre)

書誌事項

Computability : computable functions, logic, and the foundations of mathematics

Richard L. Epstein, Walter A. Carnielli

（The Wadsworth & Brooks/Cole mathematics series）

Wadsworth & Brooks/Cole Advanced Books & Software, c1989

注記

Bibliography: p. 271-278

Includes index

詳細情報

• NII書誌ID(NCID): BA07266087
• ISBN:
  • 0534103561
• LCCN: 89007097
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Pacific Grove, Calif.
• ページ数/冊数: xvii, 297 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA9.59
  • DC20 : 511.3
• 件名:
  • LCSH : Computable functions
  • LCSH : Logic, Symbolic and mathematical
• 親書誌ID:
  • BA00170580