Categorical logic and type theory

Author(s)

• Jacobs, Bart

Bibliographic Information

Categorical logic and type theory

Bart Jacobs

（Studies in logic and the foundations of mathematics, v. 141）

Elsevier Science, 2001, c1999

• : hbk
• : pbk

Note

Bibliography: p. 717-733

Includes indexes

Size of pbk: 23 cm

Details

• NCID: BA53520534
• ISBN:
  • 9780444508539
  • 9780444508539
• LCCN: 98043478
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam
• Pages/Volumes: xvii, 760 p.
• Size: 25 cm
• Classification:
  • LCC : QA9
  • DC21 : 511.3
• Subject Headings:
  • LCSH : Type theory
  • LCSH : Categories (Mathematics)
• Parent Bibliography ID:
  • BA00099329