ε-calculus

著者

• Richman, Paul L.

書誌事項

ε-calculus

by Paul L. Richman

（Technical report, no. CS105）

Computer Science Department, School of Humanities and Sciences, Stanford University, 1968

タイトル別名

epsilon-calculus

詳細情報

• NII書誌ID(NCID): BC17148128
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Stanford, Calif.
• ページ数/冊数: vii, 138 p.
• 大きさ: 29 cm
• 親書誌ID:
  • BA91658376