Introduction to mathematical logic

Author(s)

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

Bibliographic Information

Introduction to mathematical logic

by Alonzo Church ; notes by C.A. Truesdell

（Annals of mathematics studies, v. 13）

Princeton University Press, 1944

• pt. 1

Note

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

Contents of Works

• 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

Details

• NCID: BA67703962
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Princeton
• Pages/Volumes: [123] p.
• Size: 23 cm
• Parent Bibliography ID:
  • BA00300336