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

著者

• Andrews, P. B. (Peter Bruce)

書誌事項

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

Peter B. Andrews

（Computer science and applied mathematics）

Academic Press, 1986

• : pbk

タイトル別名

An introduction to mathematical logic & type theory

注記

Bibliography: p. 293-295

Includes index

詳細情報

• NII書誌ID(NCID): BA00263706
• ISBN:
  • 0120585359
  • 0120585367
• LCCN: 85019942
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Orlando ; Tokyo
• ページ数/冊数: xv, 304 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA9
  • DC19 : 511.3
• 件名:
  • LCSH : Logic, Symbolic and mathematical
  • LCSH : Type theory
• 親書誌ID:
  • BA00104316