Introduction to mathematical logic

著者

• Church, Alonzo
• Truesdell, C. (Clifford)

書誌事項

Introduction to mathematical logic

by Alonzo Church ; notes by C.A. Truesdell

（Annals of mathematics studies, v. 13）

Princeton University Press, 1944

• pt. 1

注記

***記述は遡及データによる

収録内容

• The propositional calculus
• Functional calculi of first order
• The pure functional calculus of first order
• Functional calculi of higher order and the theory of types

詳細情報

• NII書誌ID(NCID): BA67703962
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Princeton
• ページ数/冊数: [123] p.
• 大きさ: 23 cm
• 親書誌ID:
  • BA00300336