An introduction to mathematical logic and type theory : to truth through proof

Author(s)

• Andrews, P. B. (Peter Bruce)

Bibliographic Information

An introduction to mathematical logic and type theory : to truth through proof

Peter B. Andrews

（Computer science and applied mathematics）

Academic Press, 1986

• : pbk

Other Title

An introduction to mathematical logic & type theory

Note

Bibliography: p. 293-295

Includes index

• NCID: BA00263706
• ISBN:
  • 0120585359
  • 0120585367
• LCCN: 85019942
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Orlando ; Tokyo
• Pages/Volumes: xv, 304 p.
• Size: 24 cm
• Classification:
  • LCC : QA9
  • DC19 : 511.3
• Subject Headings:
  • LCSH : Logic, Symbolic and mathematical
  • LCSH : Type theory
• Parent Bibliography ID:
  • BA00104316