Combinators, λ-terms and proof theory

著者

• Stenlund, Sören

書誌事項

Combinators, λ-terms and proof theory

Sören Stenlund

（Synthese library）

D. Reidel, c1972

タイトル別名

Combinators, lambda-terms and proof theory

注記

Akademisk avhandling--Uppsala

Extra t.p. with thesis statement inserted

Bibliography: p. 177-180

Includes indexes

詳細情報

• NII書誌ID(NCID): BA04530870
• ISBN:
  • 9027703051
• LCCN: 72083378
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Dordrecht
• ページ数/冊数: 184 p.
• 大きさ: 23 cm
• 分類:
  • LCC : QA9
  • DC : 511/.3
  • NDLC : MA41
• 件名:
  • LCSH : Proof theory
  • LCSH : Combinatory logic
• 親書誌ID:
  • BA00017801