Higher-order logic and type theory

著者

• Bell, J. L. (John Lane)

書誌事項

Higher-order logic and type theory

John L. Bell

（Cambridge elements, . Elements in philosophy and logic / edited by Bradley Armour-Garb, Frederick Kroon）

Cambridge University Press, 2022

• : pbk

注記

Includes bibliographical references (p. [75]-79)

詳細情報

• NII書誌ID(NCID): BC15106025
• ISBN:
  • 9781108986908
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cambridge
• ページ数/冊数: 79 p.
• 大きさ: 23 cm
• 分類:
  • DC23 : 511.3
• 件名:
  • LCSH : Logic, Symbolic and mathematical
  • LCSH : Type theory
  • LCSH : Set theory
• 親書誌ID:
  • BB27097387