Higher-order logic and type theory

Author(s)

• Bell, J. L. (John Lane)

Bibliographic Information

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

Note

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

Details

• NCID: BC15106025
• ISBN:
  • 9781108986908
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge
• Pages/Volumes: 79 p.
• Size: 23 cm
• Classification:
  • DC23 : 511.3
• Subject Headings:
  • LCSH : Logic, Symbolic and mathematical
  • LCSH : Type theory
  • LCSH : Set theory
• Parent Bibliography ID:
  • BB27097387